Still trying to reduce the size of /, now that I have the bit between my teeth....

[Lisi <lisi.reisz@gmail.com>]

I still have two of the already suggested things to try, but meanwhile my /usr 
is 3.7G, and my /, of which it forms part, is 4.7G.  This seems slightly 
disproportionate.  How can I find out what is actually needed - or even, 
used - in /usr?

Lisi