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