Markdown source

Highlights

Highlighted pages are targets that deserve extra attention, deeper source searches, richer synthesis, and more frequent revisiting than ordinary generated pages.

Use this category as an operator tool: add targets to raw/sources/highlighted-targets.json, run python3 scripts/generate_highlights.py, then expand the target pages themselves.

Highlighted Targets