Assorted documentation and formatting cleanups

Side note: another thing that attracts contributors (noticed in Piston) is an abundance of easy bugs, of which we have none...