Update sol.main documentation.