add playtxt.py utility