TOOLDOC-310 add missing 4.0.0.Final/index.html and fix 4.0.1.Final/index.html