By removing `toc` and `@toc`, I think we can smush `append_toc` and `finalize_toc` into `build_toc`.