The tiny editor has some big features.

Breaking up is hard to do when it comes to large pull requests, so GitHub is stacking things in favor of development teams ...