Add todo about highlight-symbol keybindings.
Ignore exported Org-mode HTML files.