various documentation and JS tweaks