https://webhint.io/docs/user-guide has incorrect "webhint browser extension" link

Near the end of https://webhint.io/docs/user-guide content (but not in the footer) it has a "webhint browser extension" link, which points to https://webhint.io/extension-browser, which doesn't exist.

You want it to point to https://webhint.io/docs/user-guide/extensions/extension-browser/.