added Jeff Bezanson's utf8 utilities
svgx sanitisation of filenames from svg ids