repo back up

good news: repo is back up

bad news: you probably need to do a clean checkout

good news: new checkpoint 'RC4' placed after my huge
rearrange-all-the-files patch.

Sorry about this :(

  - a

-- 
"It's lucky," he added, after a pause, "that there are such a lot of
islands in the world.  I almost envy you, Mr. Watson."

                                                   -- Mustapha Mond