On Thu, Apr 16, 2026 at 12:25:35AM -0700, Chris Hanson wrote: > I'd love to hear thoughts on it. Neither seems like it'd be > particularly difficult to add. (Heck, we could have both if we wanted, > they don't really conflict?)
"Both" was my first gut reaction too. Both of them sound usefull. Martin
