Labels

• bug

  Existing documentation has bug
• enhancement

  Existing documentation can be improved
• missing

  Something is not yet documented
• update-needed

  Existing documentation needs update