Glad to hear it! It has some other little features I like, too, like being able to play certain podcasts at different speeds (I like most at 1.5x, but not ones that are about music, since it obviously messes up the music) and a little feature that cuts out dead air time. The developer is...