Isn’t the (discredited) idea rather that this may have been the unfortunate result of a zoonosis study (to find out the risk of bat coronaviruses making the leap) with someone getting accidentally infected? I have no idea what “HIV pseudotyping” is, and I hope it would not lead to the sequences discussed in the discredited paper, but this kind of research gives me the creeps. Heck. The authors even talk about the danger: https://www.nature.com/articles/nm.3985