Purification leads

What the codebase found unproven when it collided itself with its tests, tools, examples, pages and proofs. Each is an open lead: harden it with a proof of use, or soften it by removal.

Lead	Statement	Reason
double-escaped-entities	1 double-escaped HTML entities (an ampersand escaped twice) in served text: titles were escaped at the source and again by the widget	decode entities where the text enters; escape once where it leaves