a few misc python search tools