Shorten a widget name

Markup reasons in guitranslations.
Update credits (#2076)