Comment Comment by gabordemooij I was having doubts about this too. But in today's (geo)political climate it might be useful. Otherwise I can always delete it. But you're right, it's just a hammer. parent gabordemooij 9 months ago