Thanks for the various problem reports. The hardware hosting ipxe.org and related services is experiencing some age-related problems. I will be attempting to mitigate these over the next few days (possibly by replacing the hardware, possibly by migrating to virtual servers), but expect there to be some disruption. Michael