On 12/27/23 13:16, Patrick Shanahan wrote:

should be assignable via systemsettings5

Found it. It's the (US, intl., with dead keys). Not sure how I missed it before.