Browser extension that provides EditorConfig support for GitHub