They are already in the deprecated/ directory, the suffix is redundant, and there is no chance of collision.
Emmanuele Bassi