Some clean-ups in docs/html/en/index.html