The coastline error checker ( http://tile.openstreetmap.nl/coastlines.html ) seems to be showing a server error. Any idea why / when this might be fixed? David