Text this: Labelled transition systems as a Stone space