Use different mkDerivation proxy and document jsToNix()