His release on 4 July follows talks between Donald Trump and Xi Jinping, during which Jimmy Lai was also mentioned, although ...