http header content-type ⇄ file extension