See: https://github.com/xamarin/java.interop/blob/7574f166008bb45c0df97315aae7907ac25f8602/src/Java.Interop.Tools.JavaSource/Java.Interop.Tools.JavaSource/SourceJavadocToXmldocGrammar.InlineTagsBnfTerms.cs#L39 After reviewing some of the API 31 docs diff, I noticed a few places where we're emitting `[TODO: *]` in various summaries:  We should emit appropriate data in these places.