[escape_key]

Is says "Last updated January 9, 2022" at the bottom of the page. But I guess the article is about the type checker version of February 2013?

[deredede]

This was updated in 2022 but was indeed written and originally published in 2013.