HTML documentation is under doc/
