Should I be able to use widget resources/tokens in navigation labels to allow translation

I was looking at options to provide translated values from navigation lists within widgets

In widgets using the custom navigation configuration property it is possible to insert tokens into the label text as below so that translations from the widget are displayed

e.g.

This works as expected and shows the resource value, and if the resource is changes this is reflected in the page as expected

But if the page is edited and the widget config changed the navigation entries revert to the current value of the resource and we lose the token reference from that point on