By the way.
I'm using the great EncoderTool library by luni:
It's absolutely, by far, the best I've ever tried. Much better than Paul's library, which is something.
Problem is, it only works on Teensies.
They are great, but I would love to use it with...