curious how github web editor worked.