I thought that's astigmatism, which distorts different wavelengths differently. Some LEDs have very few, widely separated wavelengths, and your astigmatism sepa

I thought that's astigmatism, which distorts different wavelengths differently. Some LEDs have very few, widely separated wavelengths, and your astigmatism separates them.