On Sun, Nov 17, 2019 at 8:28 AM Daniel Shahaf <d...@daniel.shahaf.name> wrote:
> Nathan Hartman wrote on Sun, Nov 17, 2019 at 00:15:51 -0500: > > Regarding your suggestion, I'm not sure I understand correctly. Are you > > suggesting to re-order the paragraphs, like so: > > Yes. > Done in r1869948.
