While the version numbers seem to match the library GitHub - PaulStoffregen/Encoder: Quadrature Encoder Library for Arduino is newer than what gets loaded from the PlatformIO library manager.
The download that is part of PlatformIO does not match what is on github. Should I ask the author to update the revision number?
Are you sure? We use tagged branch Release Version 1.4.1 · PaulStoffregen/Encoder · GitHub
If you need the latest upstream version please use lib_deps = https://github.com/PaulStoffregen/Encoder.git
or ask author to make a new release.
Yes. 16 commits to master since release 1.4.1. I will message Paul, and use the lib_deps for now.
Thanks!