Android: Workaround buggy text size setting migrations.

Quick fix to patch up any users who had their text sizing incorrectly migrated and haven't already used the manual workaround.