Ca devient un thème récurrent de ce blog : après un changement dans Google Maps, mon script pour Firefox qui permet de faire des extractions de cartes ne fonctionnait plus.
Voici donc la version 7 : google_big_maps_v7.user.js.
Pour l'installer, voir les instructions fournies lors de la toute première version.