Hallo Frank,
schonmal versucht umzubenennen?
ja - ohne Erfolg
Aber nun habe ich es am Prompt geschafft mit
rmdir /S /Q page
Dieser Befehl entfernt den Ordner 'page' inclusive aller Dateien und Ordner ohne Nachfrage.
Hast Du Linux parallel installiert (;-).
wieso,
ich habe auch so schon genug Problene ... ;-)
Gruß Norbert