already exists and is collecting all sorts of cruft. I would propose that the latter becomes about app shortcuts in specific so we can remove the keyboard duplicates. If this rename happens, we should consider merging too

1 Answer 1


seems to be mostly synonymous with

has also been merged to


You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .