On 23 Mar 2014, at 19:03, Kai Nacke wrote: > I will not remove the officially deprecated version identifiers darwin > and Thumb > as they are still mentioned in the language reference. Sounds good! David