S10E03_RobUserPrefsHeaders: migration complete, debugging (2)