Update: it definitely seems to cut down on bot hits, although not all the way. Occasionally (about a week ago, for a few days, for example) a spurt of hits do get through, possibly due to naive servers sending out bots.
Last edited by begordon (April 26, 2015 2:50 pm)