GitHub repository: CommunityPress/better-code-editing-2
Description: [✅ Merged into 4.9-alpha] Better Code Editing WordPress plugin