[api]: Please use the same property name for the query term in the platform, board, and library search requests

[dankeboy36]

Describe the request

I want to reuse client code when searching for platforms, boards, and libraries via the gRPC API. Currently, the following search requests use different properties for the query term. The current difference is a mistake, right? Please use the same to help simplify client code. Thanks!

arduino-cli/rpc/cc/arduino/cli/commands/v1/core.proto

Line 104 in 38a0dfd

string search_args = 2;

arduino-cli/rpc/cc/arduino/cli/commands/v1/board.proto

Line 214 in 38a0dfd

string search_args = 2;

arduino-cli/rpc/cc/arduino/cli/commands/v1/lib.proto

Line 141 in 38a0dfd

string query = 2;

Describe the current behavior

Please read the request description. With JS/TS' structural typing, it would be super easy for clients to use the same JSON object for the search request.

Arduino CLI version

0.29.0

Operating system

macOS

Operating system version

11.6.5

Additional context

No response

Issue checklist

• I searched for previous requests in the issue tracker
• I verified the feature was still missing when using the nightly build
• My request contains all necessary details