Updating: minorly improving prelude/DOCUGEN.