(defun ask-user-about-supersession-help ()
(with-output-to-temp-buffer "*Help*"
- (princ "You want to modify a buffer whose disk file has changed
+ (princ
+ (substitute-command-keys
+ "You want to modify a buffer whose disk file has changed
since you last read it in or saved it with this buffer.
If you say `y' to go ahead and modify this buffer,
If you say `n', the change you started to make will be aborted.
Usually, you should type `n' and then `\\[revert-buffer]',
-to get the latest version of the file, then make the change again.")
+to get the latest version of the file, then make the change again."))
(with-current-buffer standard-output
(help-mode))))