I am shipping a default realm with my apps and since it is encrypted and rather large, I am compacting it before my app build. When making changes to this realm with Realm Studio, it only gets saved uncompacted.

I would like to have an option in the File menu of Realm Studio to save the realm compacted to a specific folder, without all the realm management "bonus files".

Currently, I am running scripts to compact the realm after I made my changes, which is very inconvenient.