{% if error is defined and error %}
  <span class="badge err">{{ error }}</span>
{% elif catalog_size is defined and catalog_size %}
  <div class="badge ok" id="catalog-status">Catalog loaded</div>
  <p class="muted" style="margin-top:0.5rem">
    {{ catalog_size }} decoder definition{{ "s" if catalog_size != 1 else "" }} available.
    {% if programmer_count %}
    {{ programmer_count }} programmer configuration{{ "s" if programmer_count != 1 else "" }} loaded.
    {% endif %}
  </p>
  {% if manufacturers %}
  <p class="muted" style="margin-top:0.25rem">
    Manufacturers: {{ manufacturers | join(", ") }}
  </p>
  {% endif %}
{% elif load_in_progress %}
  {# An autoload (from JMRI_DECODER_XML_ROOT) or a manual load is
     running in the background. Delegate to the progress fragment so
     the user sees the thermometer + polling widget instead of the
     stale "Catalog empty" hint — they'd otherwise be tempted to
     click Load again on top of the in-flight load. #}
  {% include "_programmer_catalog_progress.html" %}
{% else %}
  <div class="badge warn" id="catalog-status">Catalog empty</div>
  <p class="muted" style="margin-top:0.5rem">
    Load a decoder XML directory below — typically
    <code>&lt;JMRI install&gt;/xml/decoders</code>. The programmer view
    for a roster entry is gated on this catalog being loaded.
  </p>
{% endif %}