If the default "Primary Styling CSS" or the user's currently selected "Syntax Highlighting CSS" changes in a release, and the user hasn't modified the previous default, then the user's styles should update to the new default. Alternative......default -- even though the new one should be better (by some measure)...in this project... Amazing. One person solely drives a 1K+ star...