Currently there is no easy way to let revdep-pax automatically propagate the markings for the user (for example when many libraries are paxmarked revdep-pax has to be run once for each library) it would be really useful to add a global marking propagation flag which calculates the new markings using the same semantics as the smart system does by merging into the binary flags all of the flags from the binary it links to.