Text this: Ordinal analysis of set theories