On 31/07/2021 8:46 PM, Daniel N wrote: > + D already supports leading dot And that's a problem. Now things get more complicated and not where you want it to be.