Adding Documentation for extensible records