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......even-more-fanciful ideal might be to diff/merge the new and the user's...fair, @bordaigorl contributed a diff (in #26 ) 7 months ago, which...