{% match file_path %} {% when Some with ((path, name)) %}
{# #} {{code_html|safe}} {# #}
{{code_html|safe}}