SVGHMI: removed debug code forgotten here and there.
svghmi
2020-08-24, Edouard Tisserant