It took about five days.

Anyway, I can see the hard work of the developers to deal with this problem.

Migrating is more trouble than it's worth.

Important extension developer dissatisfaction

You just have to figure out if this minimum additional cost of a paid extension is high or low!