Delete empty subprojects; keep .gitcommit.
Handle case sensitive renaming.