Manual updates of files due to shitty GitHub app