Hello Alastair Grant,
I have already submitted this issue to Microsoft's product group.
You could submit it with detail by using feedback hub.
https://windows10.help/blogs/entry/54-how-to-submit-a-suggestion-or-bug-report-in-windows-10-using-feedback-hub/
Best Regards,
Ray Jia
Please remember to mark the replies as answers if they help.
If you have feedback for TechNet Subscriber Support, contact tnmff@microsoft.com.