Fixes #4106: hide non mandatory sections by default