Update to double-dash everywhere

These were found using `git grep -nE '[^-a-zA-Z0-9<>]-[a-zA-Z0-9]{2}'` (fair warning: _many_ false positives there).

Lots of changes in here, both in code places and in non-code places.  Please test and review this carefully, as always. :)