[pinebit]

Summary

• No bold in briefs. AGENTS.md now says to put identifiers, flags, commands, and file names in code formatting and leave out bold. Bold is removed from the Go brief and the AGENTS.md example. The quiz skill grades answers against each concept's key fact, number, or gotcha instead of its bold terms. Other briefs still use bold; the linter's limit of 3 bold terms per concept stays until they are converted.
• Links in the Go brief. Standard library names, language features, and tooling link to pkg.go.dev, the Go spec, the modules reference, the FAQ, Effective Go, the GC guide, release notes, and the Go blog; general CS terms link to Wikipedia. A term is linked at its first mention in each concept. The timer bullet now states that the Go 1.23 timer behavior required a go 1.23+ line in go.mod until Go 1.27 removed the asynctimerchan opt-out.
• scripts/check_links.py. Fetches every external link in the given briefs (default: all), checks that each page loads and each #anchor exists, and exits 1 on problems. It is not run in CI because it depends on the network. AGENTS.md documents it and the linking rules.
• Timeline. A ## Timeline section at the top of the Go brief has two tables (language and runtime; library and tooling) covering Go 1.13–1.27, linked to the release notes. AGENTS.md documents it as an optional section for language and tool briefs, placed first.
• External links open in a new tab. docs/javascripts/external-links.js, loaded through extra_javascript, sets target="_blank" and rel="noopener" on content links to other hosts. Navigation, table of contents, and cross-topic links stay in the current tab.

Testing

• python scripts/lint_briefs.py: passes after each commit.
• zensical build --clean --strict: passes.
• python scripts/check_links.py: 187 links across all briefs (184 in the Go brief), 0 problems. Also checked against a sample file with a bad anchor and a 404; both were reported, with exit code 1.
• Rendered the Go page in headless Chrome: all 184 external content links have target="_blank"; no site links do.

🤖 Generated with Claude Code