michaelg/dev: links for pxe-manager