Use document_show_message() when a file is externally modified