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