I agree that we need a proper fix for the bug of requiring the apt lists in the first place. Thanks for the bug report Pat! It's a separate issue in overall, so no use discussing it here - in my opinion if we include apt lists anyway, there's no real point in removing only some of them.
And as Robie already mentioned, any fix is better than no fix at all. This fix could be around in use until we get the right thing in place, as the size difference looks acceptable for now.
I agree that we need a proper fix for the bug of requiring the apt lists in the first place. Thanks for the bug report Pat! It's a separate issue in overall, so no use discussing it here - in my opinion if we include apt lists anyway, there's no real point in removing only some of them.
And as Robie already mentioned, any fix is better than no fix at all. This fix could be around in use until we get the right thing in place, as the size difference looks acceptable for now.