MP3: edit, then save worked as expected - but Properties>details remained unchanged (blank)

Version 3.35.1

Windows 11.

Public domain MP3 file from archive.org

I was testing. I downloaded the same file to my phone earlier today and edited the tag successfully using Smart MP3 Tag (Android)

Full file name: Suspense 451101 165 The Dunwich Horror (128-44) 25926 27m19s AFRS

Very hard to say which role MP3tag plays in this context.
Please follow these