Comment by xiaoyao

Thanks for the PR, and it's merged, but the gif is still animated though. I'll update with still images later in the day.