*** insert-file-contents can now read from a special file, as long as the arguments VISIT and REPLACE are nil.