MySQL Bugs: #3346: i can not search user comments in the documentation

Bug #3346	i can not search user comments in the documentation
Submitted:	31 Mar 2004 12:35	Modified:	22 Jul 2006 21:01
Reporter:	shimon doodkin	Email Updates:
Status:	Verified
Category:	MySQL Websites	Severity:	S4 (Feature request)
Version:		OS:
Assigned to:	Takeover System Account	Target Version:
Triage:	D5 (Feature request)

View
Add Comment
Files
Developer
Edit Submission
View Progress Log
Contributions

Description:
i've found more information in user comments of the manual but i was unable to find it useing search

How to repeat:
search for crosstab - you will find nothing
but you will find user coments about it that will halp at: http://www.mysql.com/doc/en/SELECT.html

Suggested fix:
please add search Category "user comments" in the mysql Manual
and add option to search in the articles would be great too