Re: @key broken

[Karl Berry]

    > Why not using <RET> for @key{RET} in the PDF too?

    I don't know.  There is a commented-out version with angle brackets,

It's an enclosed lozenge, not just angle brackets.

    hopefully Karl will clarify when he's back.

rms didn't want it that way, as far as I can remember.  The lozenge
version was disabled many years ago.

If you want the lozenges, perhaps we should make a Texinfo option, along
the lines of kbdinputstyle.  keystyle {plain,lozenge} or some such.
Personally I think they're distracting rather than useful.