It's been disabled for now, because of the recent forum downtime. Basically theymos needs to regenerate the index. It's only temporary. He hasn't given a date to expect it to be functioning again.
Read about the recent downtime
here Thank you! Ok, let's wait.