eb0fa09232
I was mainly considering Jellyfish and Jaguar (and Jackrabbit). Originally I was inclined for Jellyfish, but then I thought of the release T-shirts someone makes and it didn't seem suitable... Jaguar would keep the name referring to a car as well, but as a not-too-old (Mac) OS version is codenamed that way, I didn't go for it.
To build the manual, you need Nix installed on your system (no need
for NixOS). To install Nix, follow the instructions at
https://nixos.org/nix/download.html
When you have Nix on your system, in the root directory of the project
(i.e., `nixpkgs`), run:
nix-build nixos/release.nix -A manual.x86_64-linux
When this command successfully finishes, it will tell you where the
manual got generated.