Document generated by Greenter.