Yup. I haven’t muted the thread yet. The thread is relevant to my interests. There are other people who have substantive things to add without being jerks.