Repurposing an Android phone’s AI button as a shortcut key · Digg