Paul

This is intended to permit log messages emitted by an individual bot to be distinguished from other concurrent instances of the same bot. nb. currently untested; just throwing this up...