>I find it incredibly helpful to know that .jpg is lossy and .png is lossless.

Unfortunately we have been through this discussion and author of JPEG-XL strongly disagree with this. I understand where they are coming from, but for me I agree with you it would have been easier to have the two separated in naming and extensions.