doc/manual.org: a manual (or the start of one)