Further cleanup in the way Launcher stores its preferences. No more changes planned. All nice and clean now.