20150718 tech.computing: 10 tricks every Android user should know