Version 4.5.2 brings several changes: * revamped audio player class, merged external player in * speed setting now allows setting with three options: current audio, podcast, and global. * added a bit bottom margin for the numbers in player