TL;DR - any way to delete all local branches that Git Extensions recognizes as "gone".
I have last version of Git Extensions. When I complete a pull request in Azure DevOps (ADO), ADO deletes remote branch as a part of the process, but I still have local branch. Git Extensions clearly marks such local branches as "gone". Git Extensions also recognizes other types of branches - ones that currently have working origin reference, and purely local branches that were never pushed. The only way to deal with them that I know of is manually deleting gone branch one by one.
With pull requests completed, I have accumulated a lot of local "gone" branches, and would like to just do a simple cleanup.
This question is mostly about "how to do something" in either Git Extensions or raw Git, if it is possible at all.