Note about JSON::FormatOptions class (7.0.10)

After updating to version 7.0.10, I noticed a small change in the DynamicObject::writeAsJSON function, which previously received the “int maximumDecimalPlaces” parameter and now received a JSON::FormatOptions object, which has the int maxDecimalPlaces attribute. Out of curiosity, I investigated the use of this attribute and noticed that it has been obsolete since 2019, after this commit;