go to bracketコマンドとLean

Leanでは 対応する閉じ括弧をハイライトするとか、"go to bracket"コマンド（[ctrl+shift+\]）がうまく動かない。なにしろ、begin/endの括弧を使わない方針だから。