Re-added missing "Refresh" button.
Renames: index.html -> index-bootstrap.html, index-notree.html ->
index.html.