That sounds correct to me, but I think I *would* apply your suggested fix.

		kragen 55 days ago \| parent \| context \| favorite \| on: Serving a half billion requests per day with Rust ... That sounds correct to me, but I think I would apply your suggested fix.