Aha, thanks for validating me. Consider reporting the bad behaviour—hopefully we’ll get a fix quickly.