{{ _('Latest news, fixes and known issues from the developers') }}
{# data-settings-updates-url: static/devinfos.js rebuilds these cards on every
refresh and needs the same deep link the server-rendered ones use. Passed
as data instead of hardcoded in the script. #}
{# The release notes, collapsed by default: GitHub release bodies are
often long and this is a feed, not a changelog page. does
the open/close natively -- no JS, and it keeps working in the list
that static/devinfos.js re-renders wholesale every 60s. #}
{% if post.release_notes_html %}
{{ _('Changelog') }} {{ post.release_tag }}