<!DOCTYPE html>
<meta charset=utf-8>
<title>invalid cite: port-leading-colon</title>
<ins cite="http://2001::1"></ins>