I hope that you had a wonderful holiday weekend! I recently finished my
initial edits to the Terminal page. The changes essentially involved
style edits and addition of a few clarifying sections. I also made a
comment about the bash built-in section. Please review that page when
you have a chance; I have a feeling it is frequently visited.