Hi
After a little more research I'm wondering if what I have may be "plus" (no longer available to purchase since 2018) not "premium", even though it's always said "premium". The differences seem to include ability to search PDFs which definitely still works, even on newly created PDFs.
Might be an anomaly worth taking advantage of, though I'm still torn about renewing or switching to Joplin instead.