b0f721d690
this should be placed before the appendices, not between them. might even have a good place in the development part, but that's a decision for another day.
*** NixOS *** NixOS is a Linux distribution based on the purely functional package management system Nix. More information can be found at https://nixos.org/nixos and in the manual in doc/manual.