svg.4ht
,
html4-svg.4ht
[
exit the 4ht files
]