For what it's worth, #4 is a relatively old concept, and one that's currently implemented for lots of different reasons. I've heard them called "sun pipes," but there are all kinds of variants; basically sky lights that can be aimed other places. Companies like this one: http://www.solatube.com have been around since at least the '80s, and got their designs from earlier attempts.