VS Code collapse section

Stream: new members

[Martin Dvořák]

Is it possible in Visual Studio Code (specifically, in the extension for lean3 in VS Code) to collapse section abc ... end abc in the editor?

[Yaël Dillies]

I thought it was, but upon checking it doesn't seem to... You can collapse begin end blocks and a few other things, however.