Texinfo documentation, continuing...