New features also have to include documentation in `doc/`