That's true. In theory you could use an extra Raspberry Pi itself as the netboot server. But since my home network already has a fileserver it was an easy choice.