Our documentation for installing the tools was wrong for quite some time, and as a result some users have broken setups. Detect and warn them about this.
Coverage decreased (-0.07%) to 79.831% when pulling 00ce6ed908eaf3b4837b85969ee1c2e7ad4cf68f on check-credhelper into 74bfb3926b2244e9e4340382355d4a776ea47a6d on master.
Our documentation for installing the tools was wrong for quite some time, and as a result some users have broken setups. Detect and warn them about this.