GPL'ed instr function in PL/pgSQL documentation

The documentation of PL/pgSQL contains a sample implementation of the
Oracle instr function, which carries the notice that it is licensed under
the GPL. We need to relicense this function or remove it from the
documentation. Your choice.

--
Peter Eisentraut peter_e@gmx.net