Given that this is HN, I should add that I used the wonderful ray-optics Python package for doing the optical design: https://ray-optics.readthedocs.io/en/latest/