Sorting of vectors in exported frontends
Once again, dict iteration order messes things up. The frontend exporter should probably write a list of dicts instead of a dict of dicts.
Once again, dict iteration order messes things up. The frontend exporter should probably write a list of dicts instead of a dict of dicts.