The size of the game is now less than a third, thanks to IMA-ADPCM encoding of the music. I would like to use an ogg file instead of a wav file, but that currently crashes both the game and the editor, which I suspect is due to a bug in Godot Engine.
August 19th 2019
The game now captures the mouse pointer. No more losing control of the paddle or accidentally clicking outside the window.