Documenting these properties should be moved into the class doc then. Right now unless you read the code there is no way to know they even existed.