Add Dave's tweaks to scripts and documentation.