* Allow the extension used for mime type detection to be different from the temporary...

* Allow the extension used for mime type detection to be different from the temporary file extension
* Fixed detection of script type from shell-style #! line
* When loading type info files, don't rely on $IP being the working directory
* Formatting