I ran a search for [ipxe][1] (which is a PXE bootloader), and the results include things like 'ipx', which is something very different. Can this get fixed so that a search for ipxe & ipx each return their own unique results? [1]: https://serverfault.com/search?q=ipxe