Merge updates from English style checker into Spanish style checker.
Authored by: david_costanzo 2023-06-23
Parent: [r5984]
Child: [r5986]