Github editor doesn't actually respect whitespace changes?