suggestion: alias manpages.debian.org to man.debian.org

I frequently open up manpages in my web browser by directly typing in 
the URL, as in "man.openbsd.org/sh" or "manpages.debian.org/tor". 
Aliasing manpages. to man. would make this a few keystrokes shorter (and 
we'd beat OpenBSD by one character ;p)