We should add in the ability to export to STL files. It's generally nice to support more file formats, and in particular STL is commonly used for 3D printing. Isosurfaces would probably be the best export method for 3D printing so that should be the first case implemented, but extending to the other export types should be relatively trivial once that's done.