On Linux, while VLC usually works well, I had to use MPlayer (and ffmpeg needed to be installed, too -- it provides the needed codec.)
Helm:
You're not as frighteningly fast as I thought. I was somewhat surprised by your starting at a middle shade. I can see why you didn't use any brush but 1pixel; They go together. Using a larger brush can speed things up, but mainly if you draw from the darkest shade.
Your frequent color adjustments led me to an idea , and, initially misunderstanding Conceit's idea of what you were doing led me to create a plugin which provides realtime color adjustments using only the keyboard, no dialog. Your adjustment speed was fairly impressive, but I think this system will tend to be faster and more usable.
The way it works is, you pick up the color that you want to change, then you use:
1 2 3
to change the HSL values of that color.
It moves by 10% of the entire scale by default. so.. 1 to increase hue 10%, shift+1 to decrease hue 10%, ctrl+1 to increase hue 1%, ctrl+shift+1 to decrease hue 1%..
My first comprehensive test of the idea, showing the progression of color changing:
http://img.photobucket.com/albums/v449/neota/tech/pop-bendy-anim.gif (non pixel art- sort of)
and later, after I became more used to it:
http://img.photobucket.com/albums/v449/neota/tech/wuff-x-coloradjust-anim.gifThe obvious 'gap' in functionality is that it doesn't allow adjustment of whole ranges. I don't intend to address that yet, since I just invented, implemented, and tested this scheme in the last few hours

Conceit:
color selection via keyboard is a great help to speed drawing; the more colors and shades involved, the more it is an advantage -- but it is even an advantage with as little as 4 colors.
I'll consider making a video myself, if I can figure out what programs I should be using.