Программа Pi Music Player - мп3 плеер на Андроид

Новичок в этом приложении. Главное, что мне в нем нравится, - это возможность экспортировать и сохранять плейлисты на случай перезагрузки телефона или при переносе на другой телефон. Не хватает одной функции, которая была у моего прежнего плеера, - уведомления о том, что песня уже была добавлена в плейлист, и она не добавлялась второй раз. Хотелось бы видеть эту функцию здесь.