It would be awesome to filter by one or more project leads in the Get projects paginated REST API endpoint.

Currently we have to fetch lots of projects and then filter them by the leads. Having the filter by project lead would reduce the number of requests to the API.