Serve the NixOS 13.10 manual