Thanks for the update. I hope you keep the SVG and JSON export options. I didn't notice them on your export menu in the pics above. Cheers and hopefully a safer and saner new year
There is "Export as PNG" in the context menu because I think it's the most frequently used format. The other formats are accessible via "Export as" button on the "Settlement" window. The upcoming version will keep all the features of the current one (unless I'll miss something).