-
Improvement
-
Resolution: Unresolved
-
Normal
-
None
-
None
-
None
Right now our documentation uses a custom google.com search, which is less than ideal, now that we have the great SOLR search we might want to use it or a derivant for our documentation?