Labels

• Correction

  Anything that is factually incorrect
• duplicate

  This issue or pull request already exists
• good first issue

  Good for newcomers
• Guide

  Anything to do with the guide section
• help wanted

  Extra attention is needed
• PDDL

  Anything to do with PDDL
• planners

  Any issue related to planners
• question

  Further information is requested
• reference

  Additions to the reference
• Typo or Rephrasing

  Anything that is not factually inaccurate but could benefit from rewriting
• Verification

  Anything where the page's quality and factual accuracy needs verifying
• wontfix

  This will not be worked on