@nikitonsky that’s new to me!

I vaguely remember having an Open in Terminal item in the toolbar years ago; may be the same magic.