Additional manual pages should go under doc/.