This episode is also available as a blog post: https://tvanswerman.com/2021/10/06/directv-stream-to-add-pbs-local-stations/