This documentation is generated by the silver doc extension. It may be ugly for a while.