diff --git a/.gitignore b/.gitignore
index 8f1cd22..d532c55 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,3 +3,4 @@ Cargo.lock.bak
# WASM build outputs copied into www/ for the standalone file (the Docker image builds its own)
www/dungeoncraft.wasm
www/mq_js_bundle.js
+play/
diff --git a/INSTALL.md b/INSTALL.md
index 3b76d5d..534700e 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -2,8 +2,9 @@
> *Technical matters, master. Crookfinger does not understand half of it, but the imps say it works.*
-**Just want to play?** Download [`play/DungeonCraft.html`](play/DungeonCraft.html) and open it in a browser -
-no server, no installation, no login. Savegames are downloaded as `.dcsave` files and loaded again with
+**Just want to play?** Open in a browser. On the title screen, logged-in
+players can use *Download Standalone* to save `DungeonCraft.html`: the whole game in one file, without login and
+without server. Savegames from the standalone version are downloaded as `.dcsave` files and loaded again with
*Load Game* (or dropped onto the game window).
Everything below is for running your own server (with user accounts and savegames on the server),
@@ -136,7 +137,6 @@ number by one (a new month starts again at `00001`) and prints the old and the n
| File | How |
|---|---|
-| `play/DungeonCraft.html` | build the WASM file, then `python3 tools/make_standalone.py play/DungeonCraft.html` (the Docker image builds the same file under `/standalone/`) |
| `docs/img/units`, `docs/img/icons` | `cargo test --release export_doc_images -- --ignored` |
| `BESTIARY.md` | `python3 tools/make_bestiary.py` |
| `VERSION` | `python3 tools/bump_version.py` - with every change to the game |
diff --git a/README.md b/README.md
index a961880..2c4dc4c 100644
--- a/README.md
+++ b/README.md
@@ -16,7 +16,7 @@ An evil little dungeon game for the browser - in glorious pixels, in 3D, for fre
@@ -122,8 +122,9 @@ caves, rival masters, and me, telling you the story. With tea.
## How to play
-1. **Download [`play/DungeonCraft.html`](play/DungeonCraft.html)** and open it in your browser. That's all.
- It runs offline, on desktop and on phones (touch controls switch on by themselves).
+1. **Open the game online**: . It runs on desktop and on phones (touch controls switch on by themselves).
+ Logged-in players can download the whole game as one HTML file from the title screen (*Download Standalone*);
+ it then runs offline, and downloaded savegame files load there too.
2. Or **run your own server** with Docker - with user accounts, savegames on the server and the game as an
installable app: see **[INSTALL.md](INSTALL.md)**.
diff --git a/play/DungeonCraft.html b/play/DungeonCraft.html
deleted file mode 100644
index aac61b2..0000000
--- a/play/DungeonCraft.html
+++ /dev/null
@@ -1,262 +0,0 @@
-
-
-
-
- DungeonCraft
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-