SVGHMI: add "DISCARD:" prefix to force discarding an SVG element

2024-03-26, Edouard Tisserant