[Library Manager] Lack of refresh from the manager after updating a library

>I would like to comment that there is a lack of refresh from the manager after updating a library. To resolve this, I have to switch between All and Updatable a few times

I can reproduce this. Please submit a dedicated issue.

_Originally posted by @per1234 in https://github.com/arduino/Arduino/issues/9879#issuecomment-599471072_