Thanks for the idea. Tab Mix Plus, which I use, does the job:
- in FF: clear the history (that clears the visited status on all links)
- in Tab Mix Plus: enable session manager, save on exit, restore on
start, startup with last session, preserve history and tab list.
Now when I restart FF all tabs are present and all the links appear as
no visited.