group: tools
short: Tool for generating HTML documentation for applications.