Leider gab's keine Antwort auf meine Frage, wo und wie ich Verzeichnisse umbenennen kann. So musste ich mich wohl oder übel selbst auf den Weg machen und fand nach schier endlosem Suchen dies ..
Über die Option Manage ..
3883d708-218b-410e-8b5c-b31873cce58b-image.png
.. gelangt man zu ..
f4e83e55-93b9-4d7b-b51f-dfa5839287d1-image.png
.. und klickt dort auf Go to Folder.
In dem sich öffnenden Dialog ..
1a51fbf5-c801-4963-8745-560e30e96dc4-image.png
.. wählt man Settings, woraufhin man in diesem Register ..
d02d6252-21e0-4594-a1cf-a2d57aa4c56c-image.png
.. schließlich und endlich den gewünschten Namen für das Verzeichnis ändern kann.