They should probably be synonymized. I’d prefer to keep proxy.
A synonym isn't necessary here; I just renamed
proxy — DONE.
Synonyms were intended to link two completely separate words meaning essentially the same thing (think 'car' vs 'auto'). For simple variations on the same word, text completion will help guide the user to the correct usage.
prox → proxy
There's no need to bulk up the tag listings with every word inflection.