Move up midend_is_solved() in the developer docs from subheading to