> Cc: Dmitry Gutov <dmitry@gutov.dev>,
>  João Távora <joaotavora@gmail.com>
> From: Ship Mints <shipmints@gmail.com>
> Date: Thu, 22 Aug 2024 13:04:23 -0400
>
> Greetings, just want to make sure this fix doesn't get lost...

Fear not, patches don't get lost here.