Adam Chlipala <adamc at hcoop.net> writes: > Matthias-Christian Ott wrote: >> are there any status updates on this or are the plans put off? > > We don't really have an official structure for making decisions like > this, Isn't it that thing called a "board"? - a