Michael Albinus <michael.albinus@gmx.de> writes:

> The "/:" syntax exist for a long time, since Emacs 20.4. See
> etc/NEWS.20.

You're right.  Then I think the syntax you're proposing is good.

Cheers,
Nico