Bug 874525 Redirect /projects/security/pki/* to  developer.mozilla.org