Should distributors disable IPv4-mapped IPv6?

No, 6to4 is not an 'extension' approach. It's the intrinsically inefficient and problematic "bridge-the-gap" transition mechanism you're left with once you have created a second Internet address space that is completely divorced from the existing and (still, to this day, /decades/ later) dominant address space.