Some developments on dependent optics, prompted by recent advances by Vertechi and Milewski. I obtained the same definition they proposed from a 'dependent' Tambara theory based on actions of double categories, but then shunned it away because I couldn't prove dependent lenses were an example. Vertechi found a way, Milewski found more examples, and thus I released my notes after some updating.