Bug 854561 redirect mozilla.org/ports to https://developer.mozilla.org/docs/Tinderbox