For full documentation, see docs/index.html.