{% extends "base.html" %}
{% block title %}kennis - {{ settings_heading }}{% endblock %}
{% block main %}
{% from "tip.html" import tip %}
{# Settings (milestone 12). This window's preferences first, kept apart
from kennis's configuration and saying so, because changing one of
these changes nothing the command line or an agent sees.
One form. With a script each control applies and saves itself as it
is chosen (`prefs.js`, every input marked `data-pref`) and the Save
button is hidden; without one, Save posts every choice to
`/settings`, which sets the cookies and returns here. #}