On Sun, 02 Jun 2019 10:56:57 GMT, Ron Tarrant wrote:

So, my question is: Does this type of comment have special meaning? Like, for ddoc or some other document processor?

Ah! Finally found the ddoc docs. Apparently, anything after /+ is supposed to be ignored, so I'm assuming I can just search/replaced '/+*' with '//' and be done with it.