Re: Media type for output of POSIX "diff" utility