An exercise in HTML5 Geolocation