Rename repo and library files.
Housekeeping.