I don't know if it's better or not, but I've added a commit with a local copy of the files.