Thanks for the tip! I can’t believe it took me this long to Google for an answer. I kept trying to figure out what it needed in YAST.
I did not get the “downgrade” message, however. After running “zypper up”, my message said “Nothing to be done”. But it cleared out whatever corruption was in the packages database and Updater is no longer telling me to install HAL.