That's a lot of links and no answer to my question.
Yes, Junk. mail filtering is enabled.
I am looking at a specific message that has been inaccurately marked as junk. There used to be an option to market as "Not junk". Not every sender of non-junk mail needs to be added to my contacts. Sometimes they are simply "Not junk".
And there was a simple button to click to mark such messages 'not junk' once. No dragging to inbox or adding to contacts required, and gradually my junk filtering did get better with using this option.
Is that button as dead as Monty Python's Norwegian Blue Parrot?
Crtl-click does not offer a 'not junk' option either.