{# Source is HTML-escaped by godoc}
{Source}