NixOps has infrequent releases, so it's not the best place for keeping the list of current AMIs. Putting them in Nixpkgs means that AMI updates will be delivered as part of the NixOS channels.
