Expose additional fields to Branding Editor

I've used the branding editor and it seems there's few things I cannot re-brand:

• some places where we show these tags/labels, e.g. in Device Mgmt Repositories or in Administration Ecosystem

• The user circle on top right with new branding

• When clicking on navigator button there's this green
  

I would guess they can be changed via webSDK - but could we add them to the branding editor?