Example index.html as a basis for ProB 2.0