Hi David, I just discovered an issue with the current warnings/deprecation support. For identifiers that have a warning attached, prune is not regarded anymore. So I guess my approach to add warnings to the Doc node has indeed disadvantages, and we probably better put it somewhere else in the interface.