The prefs.php file says that after changing certain preference functions it is necessary to clear the values in the horde database. How do I do this ?