On 28/08/25 at 10:43 +0200, Paul Gevers wrote: > Hi, > > On 28-08-2025 10:36, Lucas Nussbaum wrote: > > OK, should I push the changes? (I guess that will break the parsing on > > your side) > > > I just checked in the test-suite, but it doesn't seem to brake it as I'm not > yet using the information in the tag. ACK, change deployed. Lucas