Phil I trust you to do the right thing WRT doxygen. I've noticed /// doesn't work especially well, and seems to be something that doxygen only expects for single line comments. We might as well toe the line and do what doxygen expects if we're going to go and do fancy formatting.