Remove the ?docs token

It's not actually used anywhere and not even set on Windows.
Actually use the ?dictionary token. Closes #1761.
Get the end time of the last line in a less dumb way
Use non-deprecated wxFONT/wxPEN constants
Delete unused variable
Use less wxString in HotkeyDataViewModel
Use less std::bind
Use less std::set