diff --git a/tools/server/public/index.html.gz b/tools/server/public/index.html.gz
new file mode 100644
index 0000000000..9e89b80a42
Binary files /dev/null and b/tools/server/public/index.html.gz differ