You are correct, it is a disk-format issue, and MySQL officially supports in-place upgrade between versions. It's actually quite hard to fix bugs in charset/co

You are correct, it is a disk-format issue, and MySQL officially supports in-place upgrade between versions. It's actually quite hard to fix bugs in charset/collations, because any changes to the sort order implicitly could affect the on-disk format (indexes are sorted).