I would adopt a different approach to "disable" doxygen documentation for commented-out functions. Instead of invalidating markup, we could just remove the first star in `/**`, thereby turning the comment into a "normal" one.