fix(frontends/lean): bug in include/omit commands: in the end of section/context, the configuration must be restored
fix(frontends/lean): bug in include/omit commands: in the end of section/context, the configuration must be restored