... instead of numberingoptionspage.ui
So now we have one central place where those are defined and translated.

Change-Id: If5edac4e3e3f1cac64015b2a73ab59abffce8ecf