It was previously just being used to tag extensions as "Featured", but it
wasn't that good at it. The UI has since been removed, and the tagging
code has just been vestigal. Remove it.