Is `user` even defined? (Can you print it? What is `user.username`?)

`user` should be supplied everywhere we use a `RequestContext`, thanks to `django.core.context_processors.request` in `settings.CONTEXT_PROCESSORS`.  The only possibility I can think of is something elsewhere in the template is clobbering it (ie `{% with ... as user %}`).