Volgens [1] wordt de planet file op mirror.openstreetmap.nl/planet dagelijks geupdate maar helaas is de laatste planet-latest al van 31 januari. Is het de bedoeling dat de de mirror up-to-date blijft en is er een storing of is hiermee gestopt?