Move help message to top layer
Hide the difference between control and command keys
Improve the UI for deleting edges

It's much more natural to click an edge, and the infrastructure to make
that work is now provided by the edge weight change tool.
Add missing return
Rename functions
Remove unnecessary unhighlighting