This looks great.
I enjoyed Josh’s paper at Leeds, and he deserves an extra gold medal for giving it in the wee hours of the morning in his local time zone!