It would be great to have the "Record screen" or "Take screenshots" feature include an option to record the screen direct to GIF file. I could use that for so many client tutorials!