It may still contain extensions we don't use, and not contain extensions we do use.

Note: if the use of extension is guarded by CPP, then we don't need to list it in other-extensions.