How do we specify xml docs for positional members (which define both parameters and properties)? ``` record Person(string First, string Last); ```