Peter Eisentraut <peter_e@gmx.net> writes:
> However, maybe we should structure the developer website listing
> differently, such as
> Development version of the documentation
> * Mirror 0
> * Mirror 1
> so onlookers see that they are two more or less identical versions of
> the same service.
That seems reasonable to me.
regards, tom lane