How do we specify xml docs for positional members (which define both parameters and properties)?

record Person(string First, string Last);