Following Gboard hitting 10 billion Play Store downloads yesterday, the Android keyboard has made a small change to the shortcuts button that lets you access various tools. more…