"doc/src/Howto_github.txt" did not exist on "22c9258b8e78f74c50ced55c88307d3ed5d55d0b"