Utility code for preference pages.