Is it good to have `ctx['current_user']` default to `None`? Here it defaults to undefined.