The mutability problem had not been compelling enough before, but it is now.
I wonder. The question is whether it is possible to calculate something from the signed content that can serve as a new kind of transaction ID. If so, then the clients could be fixed just by following advice and changing only very little code, without having to change the basic bitcoin algorithm at all.