Update readme

README.md

@@ -5,11 +5,11 @@
 [![Main branch docs](https://img.shields.io/badge/docs-main-blue)](https://egraphs-good.github.io/egg/egg/)
 [![Zulip](https://img.shields.io/badge/zulip-join%20chat-blue)](https://egraphs.zulipchat.com)
 
-Also check out the [egglog](https://github.com/egraphs-good/egglog) 
+> Also check out the [egglog](https://github.com/egraphs-good/egglog) 
  system that provides an alternative approach to 
  equality saturation based on Datalog.
-It features a language-based design, incremental execution, and composable analyses.
-See also the [paper](//mwillsey.com/papers/egglog) and the [web demo](https://egraphs-good.github.io/egglog).
+ It features a language-based design, incremental execution, and composable analyses.
+ See also the [paper](//mwillsey.com/papers/egglog) and the [egglog web demo](https://egraphs-good.github.io/egglog).
 
 Are you using egg?
 Please cite using the BibTeX below and
@@ -39,7 +39,7 @@ Please cite using the BibTeX below and
 </pre></code>
 </details>
 
-Check out the [web demo](https://egraphs-good.github.io/egg-web-demo) for some quick e-graph action!
+Check out the [egg web demo](https://egraphs-good.github.io/egg-web-demo) for some quick e-graph action!
 
 ## Using egg