Some python scripts to edit text