sometimes silly browser extensions mess with github's editor.