Fix up file documentation (including some docs outside the core files of this specific update; now devtools:document() runs without warnings