The data here was originally digitised from Google Earth back in 2006, when the first version of this website sprang into existence. The present map is a QGIS web map which uses your browser’s ability to run Javascript to do all the rescaling if you zoom in or out or query any of the entries.
The complete Google Earth file with this data (PLV v.2.2) can be downloaded as a .kmz file here.