user/jszakmeister: cope with ///-style doxygen comments