For the `master` branch I'm going back to having a separate README.md. Thought
should be given into making that update from docs/Home.md from time to time,
but URLs need to be fixed up which is awkward.
This is probably the wrong fix; probably I should have fixed read_string
so that it did not create null-character terminated strings, but it will
do for now. Probably will revisit.