23.0-coverity-FlavorTagDiscriminants
Fix for minor coverity defect 19245 (not restoring ostream format) introduced on 10 June 2023. Dismissed old defects 14222 and 14214 (passing large parameter by value) as it seems to be intentional, and the object concerned is not very large (144 bytes).