Android on the desktop: Not really “good,” but better than you’d think