Tidy the config comments and add taglist hotkey <F4>