I built Reva Player: A local-first, open-source media player for Linux focused on smart organization and tracking your progress