No longer needed since I'm not using github pages anymore