The Mantid and the Mogu don't care about U.S. politics.