Deleted old MP lib, git'd new one, modified .gitignore
Merge branch 'replace-MP-lib-and-put-in-gitignore'
small HTML file mods
Merge branch 'update-html-files'.