The "pool" option is slower to use, and the regexp may expand to broader results than wanted. Because of that, deprecate it in favour of the "pool_ids" options (which is much better), slating it for removal in community.general 10.0.0.