[julien_p]

That doesn't sound like the actual issue, or am I not understanding it correctly?

[dkdcio]

I think you’re correct. the reproduction isn’t very precise and the solution doesn’t seem right (I’m not seeing anything about the non-standard pages not being freed). I’d guess this was ignored because it was wrong…