diff --git a/docs/play.html b/docs/play.html_old
similarity index 100%
rename from docs/play.html
rename to docs/play.html_old