Searching in doc/dev-platforms