diff --git a/libraries/tools/idl2k/src/main/kotlin/download.kt b/libraries/tools/idl2k/src/main/kotlin/download.kt
index dddb0dab5e4..453c2037744 100644
--- a/libraries/tools/idl2k/src/main/kotlin/download.kt
+++ b/libraries/tools/idl2k/src/main/kotlin/download.kt
@@ -81,6 +81,8 @@ private fun extractIDLText(url: String, out: Appendable) {
         }
     }
 
+    soup.select(".dfn-panel").remove()
+
     soup.select("pre.idl").filter {!it.hasClass("extract")}.forEach(::append)
     soup.select("code.idl-code").forEach(::append)
     soup.select("spec-idl").forEach(::append)