GitHub Integration
Typos, bugs, and ideas now generate issues in GitHub for better management
When you report a bug or typo or idea, it now creates an associated Issue on GitHub. This will help us better track/filter/stay on top of player reports - hooray!