Is the google search going to be moved to the new wiki? I found it to be an invaluable tool.
Bart