resources: Add redirects for pages previously reshuffled
Created by: LawnGnome
These redirects correspond to dead links found in various bits of the main https://github.com/sourcegraph/sourcegraph repo. The sourcegraph PR that matches this is https://github.com/sourcegraph/sourcegraph/pull/10964.