Hi,
I wanted to know where to edit core resources such as ${resource:Core_UserNavigation_Profile}. I found this in the user banner widget.
