introduced minified version (devel version is still available under index-devel.html