Issue #10: Add back prefloader.js code so that oopstab can remove preferences upon exit.