Write out unused MapIds to a file?

In the "All Map Ids" view of Robohelp HTML (Vers.9) one can filter out the used MapIds such that one only sees the unused ones (marked yellow).

Is there a way to write them out to a file. There is also no way to cut/paste from the list view.

--

Christoph