doc: fix postscript font names in hotkeys*.html

Signed-off-by: David Aguilar <davvid@gmail.com>
doc: always use backticks when mentioning hotkeys in the release notes
cmds: guard against iterators, etc. in Ignore

Signed-off-by: David Aguilar <davvid@gmail.com>
cmds: make shortcut capitalization consistent
widgets.status: name actions consistently

Signed-off-by: David Aguilar <davvid@gmail.com>
widgets.status: add Ctrl+Backspace hotkey to delete untracked files

Signed-off-by: David Aguilar <davvid@gmail.com>