Just before I sent the car to the body shop, I had to make another minor “fix”. I’m just not cool enough to rock this kind of interior light:

Once I figured out which bulb it needs - I don’t have an owner’s manual (yet) - I managed to replace it with a bulb that I actually consider useful: