<div dir="ltr">I only have a  vague idea for syntax but I would very much like influence on the order and grouping the generated interface beyond what we can do with extensions.<div><br></div><div>One idea is to bring back names for extensions (Bring back in the sense that categories had names.). The names wouldn&#39;t need to have any significance. We could then use the names to create  manifest which could influence the order of the generated header. Anything not listed in the manifest would appear after the explicitly listed items.</div><div><br></div><div>This could have an added benefit for moving around in the IDE as well. Extension names could be used in the jump bar and Open Quickly, at least in theory.They could be completely erased at compile time or they could stick around, I&#39;m not sure which would be preferable.</div><div><br></div><div>TJ</div><div><br></div></div>