Pi-Hole reinstallation: Successful!

Web interface now speedy, and DNS lookups are snappy (again). At least as far as is possible on an old Raspberry Pi model B with 512MiB of RAM.