That's real. It seems in html the quit() function actually stop the game XD though that might not be what we want in the browser.
Now I've found way to fix that, check it out!
(by adding a line: if OS.get_name() != "HTML5" : so the quit() function won't actually work in HTML5)
Almost forgot: thanks a lot for your feedback!😆