Stefan Kangas <stefan@marxist.se> writes:

> I don't know what notation to use here though.  Maybe something like:
>
>     \\[cmd]  -> works as today
>     \\[=C-h] -> just adds the formatting to the exact string
>     \\[+cmd] -> adds both the key binding and its M-x form

Introducing the \\[=C-h] substitution (patch 1) does seem to bring
useful simplifications (patch 2).