You are referring to this post I guess
As it seems @Dan-Kouba hasn't published his firmware library yet.
So I'd suggest you post that request there too.
However, in his GitHub repo you'll find the src
folder which provides the sources needed to import into your project manually.