The JVMTI spec includes tags which describe resolved and unresolved issues.
Also, differences between JVMDI and JVMTI versions of a function or event
are displayed. Neither belong in the finished document and thus should
be removed now.