Text this: Notes on infinite permutation groups/