The point is that you can’t tell whether it’s a lossless image by looking at the extension.

It's not the PNG encoding that causes the loss. The optimisers are literally creating a different image and then losslessly encoding it as PNG.

But it's also a valid point.