These XML annotations are inconsistent with the rest of the codebase, and so i'm against introducing them piecemeal. If we want them (this is something we should discuss in IRC) then this needs to be a universal decision, and we should aim to add them whenever we refactor existing code (like we are currently doing with `[Desc()]` for traits).

@ScottNZ was extremely anti-xml-comments in IRC, and i'm personally not a big fan. I do see the benefit of having the IDE-integrated documentation, so I could live with these if somebody wanted to put in the effort to document the rest of the codebase with them.