Use the export value instead of the display value for choice widget option selection
Use the export value instead of the display value for choice widget option selection

The export value is used when the document is saved, so it should also
be used when the document is opened to determine which choice widget
option is selected. The display value is, as the name implies, only to
be used for viewer display purposes and not for other logic.

This makes sure that in the document from #12233 the "Favourite colour"
choice widget is correctly initialized with "Red" instead of "Black"
because the field value is equal to the export value (always the case),
but not the display value (not always the case). Moreover, saving now
also correctly uses the export value and not the display value.

mozilla/pdf.js,xavier114fch/pdf.js,nawawi/pdf.js,caremerge/pdf.js,showpad/mozilla-pdf.js,showpad/mozilla-pdf.js,timvandermeij/pdf.js,mozilla/pdf.js,timvandermeij/pdf.js,Shoobx/pdf.js,macroplant/pdf.js,nawawi/pdf.js,Snuffleupagus/pdf.js,mozilla/pdf.js,showpad/mozilla-pdf.js,xavier114fch/pdf.js,caremerge/pdf.js,nawawi/pdf.js,Snuffleupagus/pdf.js,timvandermeij/pdf.js,macroplant/pdf.js,Shoobx/pdf.js,Shoobx/pdf.js,macroplant/pdf.js,Snuffleupagus/pdf.js