Although the kbd tags should be used to list keyboard keys, it looks similar enough to the tags that you may be able to use them instead... F1, Enter, Caps Lock
Yeahhhh.... I could launch a re-parse if everyone thinks it's necessary but Im not sure of the toll it would take on server responsiveness during the re-parse.