Linking directly to https://htdp.org https://htdp.org is probably better. In this case, clicking through from there gets you to the more recent https://htdp.or

Linking directly to https://htdp.org https://htdp.org is probably better. In this case, clicking through from there gets you to the more recent https://htdp.org/2019-02-24 https://htdp.org/2019-02-24 .