asciicast
dpc5d⋮Share... Load asciinema.org image: "asciicast" https://asciinema.org/a/973826 Lots of progress on Tau. Reply
