chore(Topology/Compactification): deprecate duplicate ultrafilter_pure_injective (#28436)
ultrafilter_pure_injective