I'll alert the Mantle team. They may not respond here, but this is useful feedback. Thanks!
Hey, I should have followed up on this sooner. I wanted to confirm that this looks like a real bug. Since this is not a public API, there will not be a release, but the team is aware and I expect it will be fixed, if it has not been already.
Thanks again for the input.