This pesky Android storage bug was finally fixed and we almost didn't know

Bugs are a part of software development, and while this particularly nasty bug was finally fixed after half a decade of existence, no real fanfare was made for the fix. But why?