exporting to other formats. (SVG, GIF, JPEG, ... ) Workaround Export to bitmap formats is possible via "Print to Bitmap". This generates BMP files on Windows and XBM on Linux. From there the usual tools like Paint Shop, GIMP, Image Magick, Irfan View can be used tp create GIFs, JPEG etc.
Note - now PNG on Linux/OSX.