I found a variant of that sequence in man8.i386/pxeboot.8 which is
precisely where it should be. However, it needs to be linked from
man8.i386/boot.8

I really don't want to poking into all the man8.*/boot.8 files,
though; I don't know the details of most of them. The main thing
I would want to see is enough information in there that if I had
such a machine in front of me, I'd be able to boot it from reading
that manual page (presuming an existing NetBSD installation).

	Erik <fair@netbsd.org>