It appears that http://www.bootsplash.de is down, and so nixos-switch is failing for me to download http://www.bootsplash.de/files/themes/Theme-BabyTux.tar.bz2. Any recommendation on how I can work around this? -e