And indeed, there is only an empty docs directory. There is a doc directory
though (singular spelling), that has a lot of doc-ish documents in it. Doing
a cp -r doc/* docs fixed this. I cannot commit any changes, how can I start
There are still more errors after this, will work on that now.