Error: Error: path (="SAGEWS/10-diffrules.sagews") must start with "README.md"