Use Cases
Gboard has an option to remove duplicate keys. This makes it so when there's an odd number of keys in a row, they get biased to the left side. A user asks that we add the same option
Proposal
References
Discord user request https://discord.com/channels/1224276522848751646/1224276522848751649/1427292615279120518