Labels

• autorelease: pending
• autorelease: published

  Might replace `autorelease: tagged` when published in opam.
• autorelease: tagged
• good first issue
• help wanted
• issue: upstream

  Issue handled upstream
• kind: bug
• kind: cleanup
• kind: documentation
• kind: enhancement

  Enhancement to an existing user-facing feature.
• kind: feature

  New user-facing feature.
• kind: fix
• kind: infrastructure

  CI, build tools, development tools
• kind: meta

  Meta discussion beyond a mere feature or defect
• kind: question
• kind: regression
• kind: test
• needs: discussion
• needs: documentation
• needs: fixing
• needs: merge of dependency

  This PR depends on another PR being merged first.
• needs: more info
• needs: rebase
• needs: repro
• needs: squash
• needs: testing
• part: Ace
• part: CSS
• platform: macOS
• platform: Windows