A comment would be nice, either here or in banner_warning_flashed.html, to explain why they're separated like this (because escaping and also layout).