Tenfingers needs to work on their SEO; I searched for exactly that and most of the first few results were 10fastfingers, which is exactly what came to my mind when I read your post! Even the first one that seemed to be what you're referencing was about how to install it, rather than what I was trying to find: what it is.
Sounds like a nifty tool, I'll have to investigate it. Thanks for introducing me to it.
For anyone who, like me, was unfamiliar but curious: https://www.tenfingers.org/introduction.html