11 okt. 2019 kl. 07.43 skrev Lars Ingebrigtsen : > > I guess that makes sense. We (possibly) lose text properties here, but > we don't care about those anyway in this context, I think? Oops, that wasn't intended. Second try.