reintroduce check.nobs.vs.nRE docs

(accidentally wiped out in an earlier commit)