Reopen multiple closed tabs via GUI or a command

I think it might be due to includes only introduced in version 13.7, so will bump the min version to that (but you can still copy&paste those included scripts to the main one)