Nope, never mind. The problem fixed itself a couple of days later. Still don’t know what went on, but the issue is moot now.