Below are slides I presented on this paper at Computability in Europe 2024. Thanks to the organizers for the invitation!