Moved to [https://pad.ins.jku.at/install-nix#](https://pad.ins.jku.at/install-nix#)