"doc/src/Howto_github.txt" did not exist on "2c7fea1e0d01fed15129f389cb08f1a879437a14"