HyperScript 1.7.70.1

The website's script checker works on a host without Java, and Download on a user-made script offers the command for in the game. The plugin itself is unchanged.

Added

• Website: two ways to get a user-made script. Download now shows the command that fetches it on your server, /hs install <id>, with a button to copy it, and beside it a button for the file itself as before.

Fixed

• Website: the checker works where the host has no Java. The site read scripts with Java installed on its machine, and on a host made for Python there is none, so nothing was checked there. The site now fetches a small Java of its own when it starts (Eclipse Temurin, the runtime only, about 45 MB to fetch and 130 MB on disk) into a folder Java beside app.py. Nothing is installed on the machine itself, and what is fetched is compared with the checksum its maker publishes before it is used. JAVA_DOWNLOAD=FALSE in .env leaves it.
• Where a Java cannot be fetched either, a script is checked in the browser instead, the way the playground does it.