James Bielman wrote:

Patches against the documentation that notice such things and comment out the offending sections (so they can be moved to the TODO list, or other places) would be especially useful.

Those making such patches, please note the @ignore block works just as well as @comment/@c and makes for smaller patches. :)