SVGHMI: cosmetic changes
svghmi
2020-03-19, Edouard Tisserant