New blog post titled "An Underappreciated Lean Feature": https://juliahimmel.de/blog/an-underappreciated-lean-feature/