Text this: α-compactness in smooth topological spaces