We're looking to add some more info to log output and there are 3 proposals in this comment - does anyone have strong reasons not to go with option 2? Or have preferences on which would be better?