niplav comments on EJT’s Shortform

[niplav]

I created one for Cotra 2020 and Davidson 2023. Hope they’re correct.

[EJT]

Nice, thanks! Arxiv would still be good for searchability but maybe the authors have to do that