> Yes, this is a bug; see #7978. I am working with Simon to get it fixed. Thanks. I joined the ticket. --Kazu