These aren't syntactically doxygen comments, so won't appear in generated docs (if/when we generate them). You probably want `//<`.