[gshenaut]

Thank you. I knew it had to be something simple like that.

And yet, the name of the application (in /Applications, at least), is “OmniGraffle Professional.app”. I never would have found the solution.