For background, see http://exple.tive.org/blarg/2019/04/26/synchronous-text/