Improve doco index.html