ThomasV key is here: https://raw.githubusercontent.com/spesmilo/electrum/master/pubkeys/ThomasV.asc
That's what I've imported (years ago) into my Kleopatra for Windows. I don't know though how you can import into your tool.