Fixes #3291 : add a 'foldable' attribute, with true or false value, that...

... determines if a section should be folded or not