Allow discord bots to use the guilds/roles/member-ids endpoint

The discord desktop / web client can retrieve the members of a guild that have an specific role in the following way:

https://discordapp.com/api/v9/guilds/{guild-Id}/roles/{role-Id}/member-ids

If an bot tries to access this endpoint it returns a 403 with the message “Bots cannot use this endpoint”.

I see no reason why a bot should not be able to utilize this endpoint. Furthermore it makes sense to me to allow this because the alternative is to fetch all the members of an guild and iterate over it. Which is an terrible inefficiënt way to get to the same result.