One annoying thing is that, as a matter of searchability, `Document.prototype.getElementById` is the only one of my options that does NOT have the relevant MDN page anywhere near the top of the results. Though maybe we can just have the console link directly to MDN.
Yes, we could. I don't know how long that takes to actually propagate and take effect. Also, people have been asking for MDN to change what it's using as titles for a few years now, and no action so far, so I'm not sure I want to block on it.