{# Flash messages aren't wired up in the rust port — the Django version used
   request.messages, and we'd need a session-based equivalent. The base
   template still includes this so the extension point is preserved. #}