robbak User

This script is now broken, and will have to be rewritten to use the new leaflet-based marinetraffic ui.

Greasemonkeying around with leaflet is possible. As an example, there is Geocaching_Map_Enhancements hosted at https://github.com/JRInge/userscripts