Go back to revision e1cdc45 aka "last-with-huxley".

The files for our old Huxley have been removed from this tree since then.