On 2/22/2018 1:56 PM, H. S. Teoh wrote: > I'm a little disappointed that a change like this got in, whereas > something that's actually helpful, like DIP 1009, is sitting in limbo. It's always true that trivia attracts far more attention and far more emotion than issues that require effort to understand.