Rudy Barbieri <barbiomalefico(at)gmail(dot)com> writes:
> But it could be better improve the documentation highlighting that in
> previous versions there was a bug.
I see no bug here ... failing to recognize an operator that was added in
later versions can hardly be classed as a bug.
regards, tom lane