XdecNetBSD gone from pmax' xserver.tgz in NetBSD 8.x?

Hi,

1) The installation notes for NetBSD/pmax 8.1 at
https://cdn.netbsd.org/pub/NetBSD/NetBSD-8.1/pmax/INSTALL.html say the
following:

xserver The X server. This includes the Xpmax server with man page.

Looking at
ftp://ftp.dk.netbsd.org/pub/NetBSD/NetBSD-7.2/pmax/binary/sets/xserver.tgz
it seems to have an X server called XdecNetBSD. The corresponding
xserver.tgz in 8.0 or 8.1 has no such file. (And none of them has anything
called Xpmax.)

Is the removal of XdecNetBSD from NetBSD 8.x intentional or unintentional?
Is there an X server in 8.x, and if so, what is the binary called?


2) When subscribing to port-mips, the welcome message told me to instead
subscribe to port-pmax. The welcome message needs to be updated.


Anders Gavare