@JonBeardsley If this was addressed to me, I am aware of the fact that I cannot contribute to any discussion about AG at MO level. I simply considered keeping the room alive as helping the community. (Clearly at least the room creator considered to be useful, otherwise they would not create it.)