Many web browsers (Firefox for example) offer a function to show tabs from last time when a browser starts. This patch implements this functionality as an option.
The settings window is accordingly adjusted to be clear about what applies when:
{F7252080}
{F7252077}
This setting is off by default, pending a discussion regarding whether it makes sense to have it on by default.