Text this: Generalised sequences and compactness notions in point-free topology