Refactoring, add the missing README, and the tangled code.