-The resolver is currently implemented using a pool of server processes.
-Incoming resolver jobs are passed to an available server, or a new
-server is started if all are busy. There is a maximum number of
-servers, and jobs are queued once this limit is reached. Old servers
-which have been idle for a period of time are killed off. Servers are
-also killed if they start misbehaving or their jobs are aborted.
+There are two versions of
+.BR bres .
+The standard one uses a pool of server processes. Incoming resolver
+jobs are passed to an available server, or a new server is started if
+all are busy. There is a maximum number of servers, and jobs are queued
+once this limit is reached. Old servers which have been idle for a
+period of time are killed off. Servers are also killed if they start
+misbehaving or their jobs are aborted.