A personal experiment with MP3 library management using Python and Redis