"doc/src/Howto_github.txt" did not exist on "391ab761a40d4faed574e831896c9fe107ee18f8"