How to properly update Julia without re-uploading packages

Hi @Luigi_Marongiu,

maybe this helps: