Changed nickname for "Wau Holland Foundation" server to "wau".
Corrected onion address for "Hoi Polloi" server (see https://hoi-polloi.org/services.html#pond).