https://leodemoura.github.io/blog/2026-4-2-why-lean/<meta http-equiv='refresh' content='0;url=https://leodemoura.github.io/blog/2026-4-2-why-lean/'>