Fix respec warnings and a bad idl definition

Should lines 389 and 621 also use `<code>`? What is the difference between `<a><code>def</code></a>` and one without an anchor?