Further documentation updates, plus minor build script tweaks