Is it possible to rename the Resource Manager? More specifically, anywhere the word 'Resource(s)' appears (e.g., Resources tab, Featured Resources, Add Resource)? I am asking because I only intend to have a single type of 'resource,' and I would prefer to use a more descriptive name for it (e.g., Widgets tab, Featured Widgets, Add Widget). What about replacing 'resources' in the friendly URLS (e.g., /community/widgets/doohickey.1)? Thanks!