Removed an obsolete subsection in the User Guide.