You can either read through the sources in `src/`, or generate the
HTML in `docs/` using `make docs` (this step needs
-[Pycco](https://fitzgen.github.io/pycco/)).
+[Pycco](https://pycco-docs.github.io/pycco/)).
The files `workspace/src/part*.rs` are generated by `make workspace`.
//@ application code. Most of the time, we don't have to explicitly add lifetimes to function
//@ types. This is thanks to *lifetime elision*, where Rust will automatically insert lifetimes we
//@ did not specify, following some simple, well-documented
-//@ [rules](https://doc.rust- lang.org/stable/book/lifetimes.html#lifetime-elision).
+//@ [rules](https://doc.rust-lang.org/stable/book/lifetimes.html#lifetime-elision).
//@ [index](main.html) | [previous](part05.html) | [raw source](workspace/src/part06.rs) |
//@ [next](part07.html)