Deleted PDDL page.