515c4727fa
for some reason these are not picked up properly by nix-doc-munge, so we'll do this instead.
*** 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.