.NET documentation bug

The .NET API docs are full of text like this:
<define>DB_CATEGORY_USER</define>, <define>DB_CATEGORY_LINE</define>,

This appears to be HTML or XML that hasn't been incorporated into the help documentation correctly. It's possible to decode it of course - the above line turns into "DB_CATEGORY_USER,DB_CATEGORY_LINE", but it's awfully slow going.

-- Bob