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

[Pierre-Yves David]

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