Stefan Monnier <monnier@iro.umontreal.ca> writes:

> > I also agree.  How about the attached patch?
>
> Fine by me.  I wonder, tho: why not set revert-buffer-function and then
> redefine `package-menu-refresh` as an obsolete alias for `revert-buffer`?

Sure, I've tried to do that in the attached patch.  WDYT?

Best regards,
Stefan Kangas