Independent preprocessing doesn't make PNG itself lossy.
The point is that you can’t tell whether it’s a lossless image by looking at the extension.
Yes, but a lossless encode of a lossy copy of an image results in a lossy image functionally.
The point is that you can’t tell whether it’s a lossless image by looking at the extension.