The subject is about the documentation, but the post reveals inconsistencies of the operators. Tom Lane fixed the documentation on the back branches. The new patch is to fix the operators on the master only.
Nice catch, thanks!
I agree that different operators should not have the same name and I'm planning to review the patch soon. What are your ideas on the possibility to backpatch it also? It seems a little bit weird that the operator can change its name between versions of PG.
