Redistribution implemented.

Still buggy and still has a lot of debug code, but the basic idea
exists.