I suggest we re-tag any questions about the flag-dashboard currently tagged with flag-queue, there are plenty that are also tagged 10k-tools so that makes life easy. This effectively separates out the two topics of this tag. We can then merge flag-dashboard and moderator-queue, so all questions about the dashboard for moderators are under one tag here. I'm indifferent in the direction of the merge on these two tags.
Finally, we can merge the remaining flag-queue into a newly created 10k-flag-queue.
