Added agent function, modified robots.txt handler to use it. Modified HttpHandler.connect() to have a head argument with a default of false.
Initial revision
This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, enter a numeric revision.