trecbox.py presents a text UI.