Even when "export to SVG" is available, you often have problems if you can't force it to export (amusingly enough) fonts as vectors instead of referring to fonts by name, etc.
Makes the file larger, but makes it render (mostly) correctly on any system. There can still be discrepancies, however.
The point is, they likely used their own tool and that tool's support for SVG is lacking.