I have installed the packages coq and coqPackages.mathcomp. As I understand the documentation at https://nixos.org/nixpkgs/manual/#sec-language-coq the $COQPATH variable should then be set to include the mathcomp libraries. However the $COQPATH variable is not set. Is this a bug or have I misunderstood something?