THANKS to Dave, Human and Ruudhein for your helpful replies.
For the version of Evernote that I'm running (6.8.7.6387) on my Windows 10 Pro (Build 16299.192) desktop, Ruudhein seems to have the answer. When I right-click in the PDF, it gives me those same options in the menu.
That's good. But, to be honest, the annotation tool is not very elegant. The font is too chunky for my purposes, including the ability to write more than a couple words.
I'll continue learning. But thanks again to you for your comments!
--Fulton