Github Open files in Editor

Adds a button next to files on Github to quickly open it in your favorite IDE

As of 2023-02-17. See the latest version.