[0xbadcafebee]

Dates on pages is supposed to be handled by HTTP, but web browsers continue to be the worst UX ever, so nobody uses it.

  $ curl -s https://danluu.com/ | sed -E 's/<div class=pd>([^<]+)<\/div><a href=([^>]+)>([^<]+)<\/a><\/div><div>/\n\1 \2 \3/g' | grep Integer
  12/14 https://danluu.com/integer-overflow/ Integer overflow checking cost
  
  $ curl -sI https://danluu.com/integer-overflow/ | grep -i date
  date: Fri, 24 Jun 2022 19:00:30 GMT

https://httpwg.org/specs/rfc7231.html#header.date

[eterm]

That follows the spec:

> the sender SHOULD generate its field value as the best available approximation of the date and time of message generation

It's message generation date, not resource date.

[0xbadcafebee]

I stand corrected