After I received some assistance with testing (someone created a new account to test with, but then the account mysteriously disappeared - not sure what happene

After I received some assistance with testing (someone created a new account to test with, but then the account mysteriously disappeared - not sure what happened), I can definitely agree that videos (webms/mp4s) have a notable limp: https://drive.google.com/open?id=0B0l5ewAKDn5aNV9OS0x6QWw4VDQ https://drive.google.com/open?id=0B0l5ewAKDn5aNV9OS0x6QWw4VD... (this was the easiest way to share it) I tried recording the GIF but that was too much for the GPU in my ThinkPad :P suffice to say that it's about ten times faster (and that playing the GIF in `animate' is even faster than that)