Hi, Whoever maintains TxTxt: there is a fix ready since 19 July 2016.
Can we get this into the system, please?
https://pharo.fogbugz.com/f/cases/18788/TxTextStyler-do-not-work
(or we should give up in this being maintained “externally”)
