Gracias por la aclaración.
Ahora veo que es un problema de configuración de mi navegador.
Solo me sale en pantalla una página que pone "UNAUTHORIZED" y un enlace a "downloads", por eso supuse que era para bajarlas, y claro, no había manera.
Ahora lo he abierto con otro navegador y me aparece el mapa "online".
Comentario: ojo, la información que aparece en los mapas, por lo menos de mi puerto, tiene 4 ó 5 años de antigüedad.
