Hello, The x11-fm/xdiskusage port is currently scheduled for expiration on 20 August. In light of PR 68194 (which I filed, but which seems to have gone unnoticed since then), can the expiration be removed? (I found the problem, but am not sure of the right way to fix it.) -- Nate Eldredge nge at cs.hmc.edu