When did Date become date? A tongue-in-cheek query

[krismc]

Back in 2023, when you couldn't timeout urequests on an esp32, I wrote my own stripped down version that I called in a thread that I could timeout. Because of my woeful ignorance at the time I knew bugger all about the likes of r.headers so I got the server reply timestamp by searching for 'Date' in the incoming bytestream.
Two years later and the shakers & movers have remade upython so much I hardly recognise it, kernel panics are just a bad memory & the libraries are mostly functional.
So today I happened to run a code block that, you guessed it, used my old jerry rigged requests and it crashed. Turns out these days 'date' not 'Date' signifies the imminent arrival of the server reply timestamp. I mean who cares, right? Just import urequests & use that. But I can't help wonder, who makes a change like that in the tcp/ip ecosystem & why?

[Josverl]

https://xkcd.com/927/ explains it all

Also http headers are supposed to be case agnostic, but that is just a RFC, so comments are invited

[krismc]

15 standards, classic!
It's been fun to prowl around in the r.deluge again, my favourite discovery this time {console.warn("A URL with content '"+a+"' was sanitized away.")}, what a delicious phrase, reminds me of another of my favs 'the Chinese airbrush approach to history'.
I also note I'm not the only one to blunder into the case quagmire, https://community.cloudflare.com/t/request-id-header-sometimes-in-lowercases/290558