Trying out new extension for github integration
Merge branch 'master' into extension-testing
Rename files for github support. The Manual lied to me ;(
Merge branch 'extension-testing'