Actually I'll remove the other setting because the new one makes more sense (same name as the pref) and is kept in sync.