Invasion Machine: The changes related to a new game menu are now in the public branch.

The 0.9 update is now live in the main branch. This patch introduces a slightly improved main menu, various small bug fixes and the basic configuration for keyboard bindings. Some of the fixes are related to optimizatio…