Fix opening NixOS manual

http://hydra.nixos.org/build/13760576