Text this: Factoriality and the Pin-Reutenauer procedure