How hard is it to untar, take the header and do whatever you want with it (including putting it on github if you want)? It's definitely a lower barrier to entr

How hard is it to untar, take the header and do whatever you want with it (including putting it on github if you want)? It's definitely a lower barrier to entry than requiring people to create a github account! Edit: the point being, that it's not just "in the tarball": it's in a specific header file, and the blog post says which exact header file you want.