[PATCH v2] extensions: rename _ignore to _builtin, add descriptive comment

[timeless]

Other than the conflict with the "obsolete" feature, it's a reasonable term.

On Thu, Dec 10, 2015 at 3:35 PM, Pierre-Yves David
<pierre-yves.david at ens-lyon.org> wrote:
>
>
> On 12/10/2015 05:47 PM, timeless wrote:
>>
>> How about _retired ? An item could be retired because it was
>> integrated or because it was abandoned.
>
>
> obsolete?
>
> --
> Pierre-Yves David