> Do we even need an RFC for this? I would personally just open a bug and
> > commit the change. > > > > But if people want an RFC, that's fine... It just seems like a huge > > undertaking for such a minor change... > > I see no need for an RFC just to add a helpful notice here. Just do it. > Thanks Rasmus, I'll open a bug and commit the fix today. Anthony
