Remove an out of date paragraph from the user guide; fixes #4331