Official policy is to only use Bob. All of the best people I work with are using other tools because Bob is trash.

I have been told only Bob is allowed but not 100% on that.