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 .