utilities for text manipulation (mostly python)