haldoc module improved. More work in the tutorial.