delete no longer used query_ext.py.