I often forget that debugFile can begin with a + for deciding that debug
should be sent to both the file (minus the leading +) and stdout.