Thread:Collisions/@comment-38695875-20200806173628/@comment-26448340-20200809072209

Sure, they've been deleted.