Save session after setting things in it. I hope this fixes the PDF part of #38.
Comment related to #38
New text for possible strategies (i) hover text.
Preparing release 0.12
Back to development: 0.13