SVGHMI: Systematically output local name as /* comment */ when emiting content.
svghmi
2020-05-08, Edouard Tisserant