"doc/src/Howto_github.txt" did not exist on "9d46670972740384384357b204315413380ae2f6"