Comment by drichelson

Well GitHub has a pretty simple UI for editing files + submitting pull requests, so let's say it's a different UI.