| japhb | patrickb: Yeah, that will be a chunk of work, but ultimately I wanted to have rich text everywhere (fast pathed for when the full generality isn't needed, like I do with mono/duo text). | 01:35 | |
| It looks like you created a PR for it though, that was fast | 01:36 |