Extract template global to render a batch’s user

I had copied this snippet from batch.html to index.html – let’s extract
it into one place in app.py instead.