They're open source and easily accessible, so I would practically guarantee some/most of them are using it and other open source books.

Given so many are just on Github and very well known/linked-to I doubt they even put any special effort into getting these specific resources.