On Tue, 21 Apr 2015 19:22:31 -0700 Ian Zimmerman <itz at buug.org> wrote: > I think this is worth a bug report, have you filed one? Yes, 3419. Includes fix. -- Johan