#social 2016-09-23

2016-09-23 UTC

sandro jasnell, for extension types, get that from the definition of the extension type. It's goofy to say every use of an extension has to give a name to the extension type, which is conflated with the human generated name.