Tweaks index.html due to removal of documentation subdirectory.