2022-02-18 UTC
# Anders The difference is you have to HEAD each file individually, which quickly becomes way too many requests. It's a moot point anyway, because webserver developers are duplicating that information anyway for the listings I mention above. I'm simply advocating doing that in a standard way.