Lars Ingebrigtsen writes: > Perhaps the rest of the text in `C-h C-h' should also use a proportional > font? I.e., everything but the keys. It looks like this before: