On 18.05.2018 20:59, Nico Huber wrote: > Well, my vote, in order of preference: > > 1. Poke Intel. > 2. Get a verbatim copy of the GitHub headers in (in a way of effort for * least effort > the community). Maybe in a month from now? no matter the outcome > from 1. > > Nico >