"doc/src/Howto_github.txt" did not exist on "eb1c6a225c1b9ece60706baa3b40e361e3dc0864"