>And not just that, but through several hard reboots (laptop, shut down for a day, two days, then cold-booted, etc.).
>
>I could not get it to release the cache by doing reloads. I had to go into the preferences and manually tell the browser to clear its cache. Linux Mint 14, Firefox 20.0.

So, it is ok now?