See also a recording of a seminar we presented at Koi Tū in December 2021