Hi Ian, On Mon, 4 Aug 2025 09:31:22 +0800, Ian Kent wrote: > Hi David, > > > I was surprised to see this because I'm working on the very same problem. > > But since I didn't have a reproducer I've painstakingly worked through > > the map reload related code. > > > I don't know if my changes have fixed the problem but I can post them > > for you to try them out. Sounds good to me, I'm happy to run any rough drafts in my reproducer environment. Thanks, David
