The manual is in `doc/`