How well does github's text editing work for real life?