Documented the new terminate_after querystring option on search as implemented in #6885