get rid of the last holdouts of the doxygen suffix syntax

i.e., '//!<' style comments. these just make it easy to produce very
long lines and they don't improve readability too much in any case...