I thought that tag synonyms were meant simply to be proposed and left to survive or die on their own, but I see another question in HNQ about tag synonyms, so maybe one is supposed to raise a corresponding Meta question. I think that characteristic-p and positive-characteristic should be synonyms.