On Wednesday, 8 June 2016 at 09:15:09 UTC, Sönke Ludwig wrote:
Two good properties about restricting to /+ +/ is that it's still possible to put something else in front of it, and that it stands out from the usual /* */ comments.
It stands out because we don't have a recognizable convention for such... processing instructions, every tool uses its own. BTW do people find nested comments particularly useful?