#general is a forum to discuss anything related to Compactly generated space.