Changes the formatting in the top bar from '(#)' to 'TODO: #'

[bsaleil]

Whats the motivation for that change? I think that's only a matter of preference, so I'd prefer to keep a more concise form by default.