Picat: Fixed bad HTML and added some more about the planner module in index.html