http://nixos.org -> https://nixos.org