Raspberry Pi port, piCore-15.0 is available!
No idea who and why deleted.
I can add back lxde-icon-theme.tcz now if it is enough.