Aren't we deprecating the whole module?   Would this still need it's own deprecation pragma?