• If a binding has a deprecation message but no documentation, it is pruned when OPTIONS_HADDOCK prune is used.