I think the other format was also doxygen-compatible.  However, I don't feel strongly here.