An auto-bookmarking media player