Logged In: YES 
user_id=6405

You can customise the header by overriding the pagehead()
method of the cgi Client class (in your instance's
interfaces.py file).

Yes, this is suboptimal, and yes, there is a desire to see
the header templated and smarter. No, no-one's done any work
on it. Yes, we'd welcome someone doing the work on it :)

I have just added feature 517734 "web header customisation
is obscure" to the tracker. Please feel to contribute there!