// unused, can be deleted; replaced with UIWidgets.i10n