Bizarrely sad that acpi.info (a domain that I absolutely hated when I first encountered it in oh good lord 2002) has fallen off the internet