
Our community has insisted in the past that "core developers" aren't a thing, so if we want to avoid continued propagation of that terminology then we should do our best to eradicate it in official documents. Change-Id: I8f97231f7e56548c5ad0925ba2c5bb09e4800438