Fix filename error in planet-notes-dump script