[tex-k] Extra space before page number after \batchmode

[Karl Berry]

    Does anybody know why?

After a cursory look at tex.web (did you look?), I surmise it's from
these lines:

12677 else if (term_offset>0)or(file_offset>0) then print_char(" ");
12678 print_char("["); j:=9;

I suspect term_offset is >0 in the Q case, and not the others,
precisely because of the lack of a newline after "Entering \batchmode".

So if that's correct, then yes, it's intentional.
I'll check with the others ... -k