GitHub uses them too. They've been adversarial to AI advances for quite a while now.
Definitely thinking well ahead of the curve.