Will has only so much capacity, and has to choose what he works on, and by consequence what he does not work on.

For the things he chooses not to work on, there is a team of great devs that can pick up well documented tickets that are known by Will, and not necessarily known by all devs in full.

Where I know a dev has a particular interest in a topic I will directly tag them, so they consider a ticket.

Yes, agree getting off corporate github is the way. This is a different question than documenting issues with that tool that Will and devteam all use today.