diff --git a/public/demos_original.html b/public/demos.html
similarity index 98%
rename from public/demos_original.html
rename to public/demos.html
index 1b016d80fab6fccb962510f68c17796b4ff07168..1f4a5f02915f5423f6e0d4b51a95ac0409f2c502 100644
--- a/public/demos_original.html
+++ b/public/demos.html
@@ -162,20 +162,20 @@