A Google Cast receiver app to loop video playback.