For me, saving the pushed bookmarks would be extremely useful. I use the pushed bookmarks as breadcrumbs in code exploration, and saving my exploration path across sessions would be desirable. Perhaps including the pushed bookmarks is a workspace could be an option, disabled by default for those that treat them more temporary. Also, I wonder if a Slick-C script could be written to save them.