Darn.
Oh well, we're back to Plan A: Everyone can just deduct the size of their .mono folders and .import folders.
Kinda complicated but easy enough to do.
Thanks for the insights, kakoeimon and davidoc!
