We have decided for the time being to remove the “restore” option from:
github: https://github.com/eramba/eramba/issues/4536