S10E03_RobUserPrefsHeaders: migration complete, debugging