Text this: Compact spaces and compactifications :