[galaxy-user] wrong disk usage figure reported on galaxy main

Hi,

I noticed since yesterday that my "disk usage" % (top-right) has jumped from ~20% to ~ 80 % for no apparent reason. The added size of all my current histories is now only 29 Gb, which should be ~11%, and I looked in my deleted histories but all of them are 0 bytes in size and with status "deleted permanently", there are no histories currently shared with me by other users.

Is there something else I can check or look into in order to get my disk usage back to where it should be ? Many thanks in advance for your help !

Pierre