Rename directory; use GitHub name instead of NetID