reduced unnecessarily large file sizes as causing long page loads in html version of manual