Merge recording animated GIFs facility from gif branch #34

Closed bradgrantham closed 6 years ago