Issue #7013 duplicate
Sebastian Gutierrez
created an issue

would be great to be able to search on Wiki, if no search, the wiki is a bit less than usefull.