An Android app for viewing animated GIFs