Ask HN: Are Knuth's Stanford Pages Down?