Freddie, you are right; it does provide "cover."
As Formal Optional only applies to cruises of 15 or longer nights that ARE NOT part of World Cruise or Grand Voyages (which have their own dress code), I wonder how many cruises this affects? All I could find were five Panama Canal cruises (assuming that Grand Crossings are really two shorter cruises so no Formal Optional nights).