Search in docs is functional again. Frankly speaking I don't know what happened or how it got fixed... I am wondering if it could be a matter of an indexing/caching job somewhere. Only docs for v1.5 where not searchable and they were pretty recent that day...