It would be nice, if we add a npm or gulp script to vulcanize the src/elements.html for production, I can help with that.