@key - I'm not sure about this one. (Decorates like <this>.) I tend to think we should keep the <> decorations for that one. It actually means something.
@dfn - uses double inverted commas, "like this".
I think it's fine to drop the "". (Besides, I can't imagine any correct
usage of @dfn in node names or index entries, so it should no matter.)
k
