Add a settings page for Dylan highlighting.