Noted on 21 Apr 2020Open any GitHub repo/file in a sandbox web IDE by just changing the URL, with Githubbox