Links for thebops-envtools