As part of the MonticellConfiguration <--> System untangling, I'm
converting the #updateFromServerAtStartup preference to a
PragmaPreference. Making the new preference is easy. But the
preference itself is stored inside Preferences' vast Dictionary of
preferences. It seems lame to just leave the key there. So what's the
proper way to remove the old preference?

frank