On 20/12/22 10:48, AngeloGioacchino Del Regno wrote:> To avoid getting the same warning in the future (developer mistake and/or other > reasons), what about dropping this instance of "Note:" entirely? > > I think that something like... > > the dev->feature bits if it wants. Note that despite the name....Thanks for the suggestion, Angelo. Applied in v2. Cheers, Ricardo