The Digi support folks directed me to the same spot. I downloaded and installed as per the directions and it worked nicely, as you expected.
Interestingly the ‘rpmbuild --rebuild’ failed (linux_ver_fix.h is looking for linux/config.h, which is missing??) however the ‘manual installation’ instructions worked and that’s all I need for now.