On Aug 6, 2022, at 11:29 PM, Eli Zaretskii <eliz@gnu.org> wrote:I hope some macOS expert could chime in and clarify the issues enoughfor us to make the decisions.