SomeoneSomewhere:
I think those are the ones I saw at a wholesaler.
But for hallways, I'm increasingly liking the idea of motion sensors. A cheap ceiling-mount PIR will set you back like $50.
I think I agree with you for hallways where you are nearly always just passing through. For a room however the manual over-ride is necessary. Possible with a ceiling mounted PIR in the same way I guess but probably less complicated with some sort of 2 switch solution.