fifth batch of edits to user manual.

It's funny, my confusion over the user manual entry about the "history stack" panel is what got me started as copy editor for this project -- yet I'm only just now actually editing that part of the manual...

Plus several other edits.