renaming in advance of making github pages