I've transferred this to its own book in Daipedia. This makes it easier to update (and possible at all by non-admins). There's a bit of tidying to do still.

@Michtoen: Please update the Downloads link to go to /daipedia/Downloads so people don't have to click another link when they end up at the wrong place.