In the universe, if I use the record? option for big-bang, I get a bunch of png files, but no animated gif as suggested by the documentation.<div><br></div><div>Am I doing something wrong or have I found a bug?</div><div><br>
</div><div>Thanks,</div><div>Todd</div>