Spec cleanup: Teredo, record sizes, and deprecated types

.precious.toml

@@ -11,6 +11,15 @@ path-args = "absolute-file"
 include = "**/*.json"
 ok_exit_codes = 0
 
+[commands.prettier-markdown]
+type = "both"
+cmd = ["prettier", "--prose-wrap", "always"]
+lint-flags = ["--check"]
+tidy-flags = ["--write"]
+path-args = "absolute-file"
+include = "**/*.md"
+ok_exit_codes = 0
+
 [commands.golangci-lint-fmt]
 type = "both"
 cmd = ["golangci-lint", "fmt"]