Factorization: Update 0.8.12

Usability Tweaks The biggest addition in this update is the realtime view of important key and mouse actions. This should make it a lot clearer what can be done and how. Machines will now emit two new warnings: when you…