fix(ios): accidental duplicated line from merge

change(web): set -eu for web scripts

chore(common): Enhance PR labeling based on PR title

auto: increment beta version to 14.0.231

chore: manual version increment

fix(windows): Splash button sizes

fix(windows): setup strings comment for language

chore(windows/resources): Address more TODO links for help

This PR adds the labeler-action GH action that applies labels
based on the PR title. This allows to automatically assign
labels based on our conventional commit message.

Cherry-pick from PR #4226 (8f8b8eb7).

chore(linux): Fix typo

fix(web/ui): propagates UI module build failures

fix(ios): resolves rough edges with installation view transitions

fix(ios): fixes accidental logo / cancel button overlap during package installation

fix(ios): reloads keyboard after package updates

Fixes #4265.

This adjusts the button sizes of the splash screen to accommodate longer
strings such as found in the Khmer translation. We could go to a more
flexible layout model to allow for the buttons to stretch as needed, but
that's a lot more work and I don't really want to try for that right
now.

fix(ios): renew distribution certificate 🍒

chore(windows/resources): Cherry-pick 14.0 help from #4109

Co-authored-by: Marc Durdin <marc@durdin.net>

fix(windows): align title to top in Install Keyboard

fix(windows): invalid character in text content opening help

fix(windows): improve support for strings.xml