Add warning redirecting to nixpkgs manual at the top of every readthedocs page #592

Open maralorn opened 1 year ago