This episode is also available as a blog post: http://retroarcadia.blog/2022/01/05/rediscovering-batty-on-zx-spectrum/