[ttyprintk]

Layperson here. How can we tell if progress is made on this? Japan and China are the big owners, and haven’t blinked in recent trade wars.