misc2svg has been discontinued.