Heute habe ich zum ersten Mal TextTools.org ausprobiert, einen Service, der verschiedene Textanpassungen ermöglicht. Gewöhnlich verwende ich Shell-Tools für solche Aufgaben, aber wenn man sich auf fremden Systemen befindet, kann dieses Tool sehr hilfreich sein.