> the heuristic for whether you need the banner is essentially: is the user deriving the benefit, or just the operator?

This is just as bogus as the user vs developer distinction in copyleft world.

Of course users benefit from the operator knowing if their design decisions are actually on the right track.