Prior to July 5, 2021 (dub v10.2), this was a public field instead of a property. I did not consider this a breaking change since the intended use is completely compatible with the property, and it was not actually implemented properly before anyway.