Also, I have a suggestion (completely unrelated to my ramblings): could you maybe re-record the animations with some program showing what keys you press enabled? It would make them even better resource, I think. I only used this: https://launchpad.net/screenkey but it seems it's unmaintained; still, it could be still working. I know it would be a lot of work, but it would turn the gifs into self-contained mini-howtos, which I think would benefit everyone :)