[pstricks] PSTricks and dvisvgm

[Alexander Grahn]

Dear Herbert,

since some recent update, PSTricks does not accept a global `dvisvgm'
option anymore and complains with

\c at lor@to at ps ->\PSTricks
                         _Not_Configured_For_This_Format

The dvisvgm driver supports almost all Postscript operators and
graciously converts DVI with PSTricks content into correct SVG. Giving
`dvisvgm' as a class option is a convenient way to pass it to any
package that understands it and this used to work without a problem in
the past. Currently, this can be worked around by passing `dvisvgm'
one by one to all packages that need to know it and to hide it from
PSTricks in this way. However, it would be nice to have PSTricks
tolerate dvisvgm again.

Thanks and kind regards

Alexander