Thanks! We actually noticed that bug, but unfortunately, we didn’t have time to investigate it. It ended up being pretty funny, though.
