On Monday, 5 August 2024 at 12:25:48 UTC, user1234 wrote: > On Monday, 5 August 2024 at 03:09:41 UTC, IchorDev wrote: >> Also sometimes if a feature is very minor you can submit a >> ‘feature request’ issue. > > "enhancement" is the bugzilla word for this. IIRC it's in the > "severity" field. Yes, precisely!