Exporting to JSON is planned as an option for the new toolbar. :)
To quote my commit message in bf37082:
I've reserved six icons in the new sandbox icons texture, so expect
to see more commits in the near future that implement more things
(some ideas I have include exporting to JSON, shape morph, color morph,
changing the color of the background, and grid toggle.)
Exporting to JSON is planned as an option for the new toolbar. :) To quote my commit message in bf37082: