Edit: I take back this proposal. See Suresh’s answer.
I think that the tags prg and pseudorandomness have no distinction and should be merged. Also, they can be renamed to a new tag pseudorandom-generators for clarity. Therefore, I propose the following:
- Rename prg and pseudorandomness to pseudorandom-generators.
- Make prg and pseudorandomness synonyms for pseudorandom-generators.
- Cancel my older proposal to make prg a tag synonym for pseudorandomness, which I started without considering alternatives.
Note. This is a retag request, and it will be considered to be approved when it reaches the score of +4.