Exactly, and they give credit for it at http://dochub.io/#about http://dochub.io/#about and this usage is fine with the CC-by-sa license of the MDN. I also gue

Exactly, and they give credit for it at http://dochub.io/#about http://dochub.io/#about and this usage is fine with the CC-by-sa license of the MDN. I also guess you are fine with this, as it is a useful tool for web devs, who will make a better web with it. It can also be a source of inspiration for the MDN itself as it proves that searching the MDN is slow.