That’s good to know, thanks. Looking at the JS code, it seems that the version check comes after the check that causes the issue for the user.
FWIW, the user did report that it worked fine for them prior to the upgrade - so it seems that even though the UI relies on it, it wasn’t causing much of an issue for them.
Appreciate the quick response!