Bob Richmond wrote:
The only problem I can think of in introducing this patch is the
dirtiness of making a package from Extras be a build requirement of a
package in core. Is this generally frowned upon?
Until the Extras/Core dichotomy is merged, yes.