{% comment %} The buttons that change an app. Each one runs the pdt command a user would type; the button's second segment copies that command, so the terminal is never a surprise. {% endcomment %}
{% csrf_token %}
{% if config.pause %}
{% csrf_token %}
{% else %}
{% csrf_token %}
{% endif %}
{% csrf_token %}