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

| |

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 .