Add precheck to documentation