No queries for etext.virginia.edu/patbin/pat2www?specfile=/lv6/workspace/railton/pat/public/mt-reviews.p2w