Kaj_Sotala comments on Open & Welcome Thread—July 2022

[Kaj_Sotala]

This maybe?

[mikbp]

Yes! Thanks