Removed button icons

since they may not work properly without certain fonts and it’s not
clear they add any value
Include javascript file directly from html file
Added list of valid page IDs as global parameter
Changed wording of comment
Separated index in index.html and index.php

plus other bug fixes and improvements