Why aren’t you banning the use of such tools all over the company? I think I would do that with the only reason being the fear that it might leak private source code to random companies.