> When is/was HTTP ever really extended?

For example, WebDAV is a set of extensions to HTTP.

And in my opinion cross origin resource sharing headers could be considered an extension too maybe.