On Friday, September 18th, 2026 at 16:52, Felix Winkelmann <[email protected]> wrote:
> Yes, that's a bug - the two types should be synonymous. I'll fix this. Thanks for this, and for all your hard work on the recent changes! I'm doing my best to try for patches instead of just reports where possible but still have much to learn in core. Diego
