Page not found for all TK1 doc

All TK1 docs can’t be downloaded from the website. For instance, when I access:
I get a “Page not found”. Is it me or is it on server side?


That URL shows “not found”. Where is the URL referenced from?

Looks like the link is missing a word:

At least the misspelled “Jetson” in the PDF name is consistent in both links.