Hi, it seems that it's too late now to remove some extensions. Though it's trivial to do so regards coding, the impact might be undesired so it is better to do that after TL has been released. So at the meantime I will try to fix some of the pending bugs. Here is the current status: 692, 694: fixed 693: still trying 695: unlikely to be fixed, even in the future. 696: Harmut and I are working on this, we hope to fix it during the wekend. Thanh