GitHub Editor

This is amazing, a 10x QoL improvement for people who read a lot of code on GitHub daily and don't want to bother pulling it locally just to get around the slow navigation in the web UI!

that's a very cool feature!