There’s a new version of the Castro podcast player, which is nice, but holy cow the version notes make no sense.