Hey there, I'd like to add proteus to bioconda. I have created the [PR](https://github.com/bioconda/bioconda-recipes/pull/40243) already in case someone wants to look over it :)