Re: address@hidden: RE: Customize doc strings and tagstrings do not respect \\<...> and \\[...]]

[Per Abrahamsen]

"Drew Adams" <address@hidden> writes:

> Right. The manuals are silent on this, AFAICT. Call it a new feature request
> if you like.
>
>     `(choice
>        (const :tag ,(substitute-command-keys
>                      "`\\<minibuffer-local-map>\\[next-history-element]'.")
>               tata)))
>
> Sure, that's OK too. But why not have it done implicitly?

Would you like 'message' to do an implicit substitute-command-keys as
well?

It is not a rhetorical question.

It doesn't seem intuitive to me that the value of :tag should be
considered a documentation string.