#1849: #1157: <corr><del> now identical btw TCN and TL

opened by thuchacz