Open
Description
We should look at reducing the duplication between W3C and DINI profiles. If we have things that are share, those should move to "core/". We should otherwise export things from core/*.js that can be used by DINI.
See https://github.com/w3c/respec/pull/2739 for specifics.