Text this: Notes on Infinite Permutation Groups