They copy/pasted from the article, that's how they're formatting footnote links....

		Izkata 10 months ago \| parent \| context \| favorite \| on: A major Postgres upgrade with zero downtime They copy/pasted from the article, that's how they're formatting footnote links. Article has 15 footnotes and that's number 13.