Fix links to #verify; add license headers to script-generated output
Use links to repo tags rather than branches