Labels

• backend

  Backend-related issue
• bug

  Something isn't working
• documentation

  Related to the project documentation
• duplicate

  This issue or pull request already exists
• enhancement

  New feature or request
• frontend

  Frontend-related issue
• help wanted

  Extra attention is needed
• infra

  Infrastructure-related issue
• invalid

  This doesn't seem right
• question

  Further information is requested
• research

  related to either the LaTeX paper or the research process
• wontfix

  This will not be worked on