Summary: Podcast introduction, where we talk about possible names for our podcast and introduce ourselves.