A multi-platform podcast manager written in F#