OK, no answers at all. Questions now is: should I file a bug report
about the documentation (behavior of "deliver" vs. "finish" when
message is deferred; headers add executed multiple times for
subsequent queue runs) or should this really be a new feature
([un]seen deliver creates a whole new message)?