College building this evening after work, and the roof lighting is on again, which makes the place far more photogenic at night. They turned it off a few years ago as it saved a surprising amount of electricity. Obviously wasn't LED lights. Don't know if they've changed it, or if someone's mistakenly turned it back on. Time will tell.