This episode is also available as a blog post: http://my-digest.com/2021/05/15/a-wonderful-trip-of-mini-submarine/