Why write <script type="text/javascript"> when the mime type is set by the server?