Feature-discovery nudge engine: right feature, right moment, hard anti-nag guarantees and a dead-feature report.