Lots of updates
I hadn't noticed !3 (merged), so I did the upgrade of See the commit list for more details.syn
and quote
myself (some minor stylistic differences) and improved several other things.
Supersedes !3 (merged).
Edited by Erich Gubler