nixos manual: make nixos options linkable