It’d be nice if the audio player widget has a “repeat” button, so the user can automatically repeat the track.