and the line with the unregister.sh script down to the bottom of
the plist. Silences all the blurb about ".../*.haddock doesn't exist
or isn't a file."
optimized for performance critical use, both in terms of large data
quantities and high speed.
The declared cost of each operation is either worst-case or amortized,
but remains valid even if structures are shared.
ok ajacoutot@