>4. Say most ophthalmic lenses filtering blue light don't do very much, and specialized ones (you'd say very orange or red) are required for circadian effects.

I have had years of success averting personal blue-light issues using what probably falls into the "specialized" lenses category: Uvex S1933X glasses. They came in a 3-pack on Amazon for around $25. The pairs are next to my bed, on my desk, and in my backpack. Inexpensive enough to where I won't loose sleep over breaking a pair. Good not just for device screens, but also for the annoying bright blue power buttons/indicators on just about every other peripheral.