This episode is also available as a blog post: http://how15.com/2021/05/22/explaining-what-mining-robots-are/
