The game has just been updated! These are the changes:
* water pools have been redesigned graphically;
* the map has been touched up in a few spots;
* some memory was saved (which allowed the above);
* the documentation has been improved;