Slight updates to our user documentation (following the removal of the midpoint solver).