@MartinSleziak Thanks for your continued service Martin. It seems that the Algebraic Topology Discord server has basically completely taken over.