What is the easiest way to open mintty with high priority by default? Adding /High to the shortcut command string no longer seems to work in Windows 11.