Category:Extensions with unknown license/de-formal