I have added it again. The built in search has not been good, and I thought the Google search would be better. They have recently improved it, and looking at the Google index, over 5000 pages are indexed. We have about 3800 topics, so I thought "everything" would be in the index).
I guess it does not hurt to have both searches available. If you don't find what you are looking for in one, have a look at the other.
Saludos,
Ivar