The plugin is part of the commercially purchased theme the site uses. It, along with the theme, was recently upgraded. The problem persisted before and after the recent update, but was not present a few years ago when the theme was first installed.
I suppose I could disable the theme and then...