{% 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 %}