Tweak the README now that bracket pair coloring is upstream. (#309)
Tweak the README now that bracket pair coloring is upstream. (#309)

Mention how to instead disable it, since it's enabled by
default.
leanprover/vscode-lean,leanprover/vscode-lean,leanprover/vscode-lean