Once set, top right filing windows allow the seed to be saved to a ``*.eed'' file (the default filename is ``myseed.eed``, see filing #28).
