Shitty bash script to turn soundposts into local videos.
https://pastebin.com/9frJZHGUIt's not very good when it comes to looping gifs with music (eg. jamminpanda soundposts) since the resulting file size is big and it takes a long time but works really well for everything else!
