Decide what to do with the MDN documentation links in devtools
These are broken, as reported in Topic 28293
Short term, we should just disable these, to then decide whether we want to link to/integrate with RealityRipple's UDN (if he's OK with that), or simply remove the widget altogether.
This is controlled by
devtools.inspector.mdnDocsTooltip.enabled at the moment, so an easy one-liner to disable, which I'll do as I file this.
Deleting a branch is permanent. It CANNOT be undone. Continue?