Xml documentation for extensions

[edgarfgp]

Would be good if we can add support for XML documentation Add Extension https://docs.microsoft.com/en-us/dotnet/fsharp/language-reference/xml-documentation#recommended-tags. This will make really easy to use

[TimLariviere]

I don't think there's anything preventing us from doing so

[TimLariviere]