Thu, 05 May 2022 10:37:36 +0200 Edouard Tisserant SVGHMI: cosmetic fixes + removed dead code