Update Notes for 1.25.23

Some minor bug fixes and improvements, including the indispensable ALT-ENTER to toggle the full screen mode in the main menu!

More ambitious developments are underway to facilitate access to the game for non-native English speakers...