update version numbers in examples.html