Merge branch 'lektor-critical' into 'master'

clarify that current lektor sites are critical

See merge request !4

policy/tpa-rfc-10-jenkins-retirement.md

@@ -222,8 +222,12 @@ Examples:
 
  * the network team is migrating their CI jobs to GitLab CI
  * the <https://research.torproject.org/> site would end up as a GitLab pages site
- * the <https://www.torproject.org/> site would stay in the static mirror system,
-   but would be built in GitLab CI
+ * the <https://www.torproject.org/> site -- and all *current* Lektor
+   sites -- would stay in the static mirror system, but would be built
+   in GitLab CI
+ * a new Lektor site may *not* necessarily be hosted in the static
+   mirror system, if it's non-critical, it just happens that the
+   current set of Lektor sites are all considered critical
 
 # Deadline