Improving this Manual
What can you do to improve this manual? There is a number of things
that require different degrees of involvement:
- Fix typos.
- Improve the wording in some places.
- Find places to fix (sometimes labeled ``FIXME'') and fill the
gaps.