SVGHMI: Prevent excluded widget to appear in generated pages' widget list.
svghmi
2021-02-02, Edouard Tisserant