Implement automatic generation of HTML option documentation based on the solver API.
Improve option formatting.