(Finsert_file_contents): Do call signal_after_change when REPLACE is handled by reading directly from the file. Use insert_1 to insert replacement text, to avoid query about whether to modify the buffer.