[avgcorrection]

Hmm, tried that but that directory seems to contain ~3000 files on my old Ubuntu.

[myself248]

1621 on Pop, which is still about 15x more than I can reasonably remember. Hence the whole problem, it's not digestable unless you make digesting it your whole hobby. Ah well. Thanks for confirming, I guess.