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

Hi,

On Mon, Sep 15, 2025 at 11:56:46PM +0200, dzwdz wrote:
> 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)
> 

Not really what you're asking about; but this reminds me of the dman(1) tool
as shipped with the debian-goodies package.  You might like it.

HTH, Bye,

Joost