"doc/src/Howto_github.txt" did not exist on "18b12efc9f6fbfeda13575fe0673acb7ee3eeb87"