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