How silly of me to think that only renaming the file on GitHub would work...