>>> "EZ" == Eli Zaretskii <eliz@gnu.org> writes:

   >> From: Uwe Brauer <oub@mat.ucm.es>
   >> Date: Mon, 23 Mar 2020 19:05:23 +0100
   >> 
   >> Couldn't rename-buffer, optionally, overwrite the content of a buffer.

   > Yes, but it's called copy-to-buffer, not rename-buffer.

Thanks for pointing this out to me, but I have to mark the whole buffer
first, which is a but inconvenient, I say.

Couldn't there an argument added so that with the argument the whole
buffer is copied?