No worries. I created a custom plugin with the functions specified at the link and made it available for my users to activate. I’m not sure how widespread the issue is, because only one user has mentioned it so far. Thanks for the speedy reply. I assume the next version will include the fix, and I’ll be able to delete the plugin I made.