CTRL-OS Manuals

We publish the NixOS and nixpkgs manuals of CTRL-OS versions over on manuals.ctrl-os.com.