Additional XML documentation comments (still not completely done)