pxe_default_server docs loopy

[Carl Karsten]

I'm not looking for help, just asking that someone review the docs for pxe_default_server and decide if they need a fix.

pxe_default_server says See Network, but that section does mention pxe_default_server. That section does mention net_default_server, which looks like net_default_server is the same as pxe_default_server, which seams odd. 

https://www.gnu.org/software/grub/manual/grub/grub.html#pxe_005fdefault_005fserver
"""
15.1.39 pxe_default_server
See Network.

"""

https://www.gnu.org/software/grub/manual/grub/grub.html#Network

"""

8 Booting GRUB from the network

The following instructions don’t work for *-emu, i386-qemu, i386-coreboot, i386-multiboot, mips_loongson, mips-arc and mips_qemu_mips
To generate a netbootable directory, run:

grub-mknetdir ...

...
‘net_default_server’

The default server used by network drives ...

"""

--
Carl K