BUG #4887: inclusion operator (@>) on tsqeries behaves not conforming to documentation

The following bug has been logged online:

Bug reference: 4887
Logged by: Alexey Bashtanov
Email address: bashtanov(at)imap(dot)cc
PostgreSQL version: 8.3.1, 8.3.7
Operating system: Linux 2.6.20 FC5 i686, Linux 2.6.27 FC10 i686
Description: inclusion operator (@>) on tsqeries behaves not
conforming to documentation
Details:

Hello!

'!a|b'::tsquery <@ 'a|b'::tsquery evaluates to false, but should evalueate
to true
(http://www.postgresql.org/docs/8.3/interactive/functions-textsearch.html
says "The tsquery containment operators consider only the lexemes listed in
the two queries, ignoring the combining operators.")

I think negation operator is treated as a lexeme. So please correct the
behaviour of operators or rewrite this line of docs.

Thanks,
Alexey