Edgar-rft commented in this thread that he could not think of any cases where normalizing would be required without DC offset correction. (He also said that he would be hesitant to remove it as an option).
Thinking about this I can only think of non-audio examples where it might be desirable to normalize without DC offset removal, so is there really a case for retaining “DC offset removal” as an option or would it be better if Normalize always removed DC offset? (the latter would probably be simpler for novice users).
For non-audio signal processing additional (non-audio) effects can be supplied by optional plug-ins, but as Audacity is intended for audio, perhaps it is best if built in effects are optimised for audio.