Hi Manu, On Mon, Apr 27, 2026 at 03:02:17PM +0000, Manu Nicolas wrote: > > Contrary to what was discussed previously with maintainers, I think we'll > actually use the simpler simple reverse. While this is more readable, in our > case the maps and all tooling around them will be automated, so we'll ~never > see the reversed version. The reverse_dom is more complex, slower, and left > some choices to make; for example, trailing dot or no trailing dot? Which > could seem too opinionated. > Sending the patch anyway as we did both :)
Thank you, I've merged both because the explanations in the doc make sense and it's definitely usable. If we need to change its behavior over time, we'll be able to do it by passing arguments so it's no big deal. Willy
