Hi Mick, it's an early morning bleary-eyed thing! Yes, I noticed; no, I hadn't tried it -- but it's great. Thanks for the pointer.
My Safari top menu (just to the right of the forward/back arrows) now sports a trio of little icons for web advertising display options, page translation, and capture.
Thank you Chris (indefatigable Webmaster) for this and other improvements.