rich 1.0 everest https://asciinema.org/~everest asciinema https://asciinema.org/ https://asciinema.org/a/fhkTWEdRr7sqDgS5ZZtl5UUcQ.png 3070 1784 <a href="https://asciinema.org/a/fhkTWEdRr7sqDgS5ZZtl5UUcQ" target="_blank"><img src="https://asciinema.org/a/fhkTWEdRr7sqDgS5ZZtl5UUcQ.png" alt="Global symbol search on cpython with sage" width="3070"></a> 3070 1784