Open
Description
We can't currently fold on labels because there's no formal way to prove where a label ends. This however seems to the primary use-case/desire as opposed to indentation folding, so it may be worth investigating alternative solutions.
E.g. could we use *comment fold-start and *comment fold-end "macros" to achieve the effect?