Would make drive-by edits via GitHub's UI much easier. MongoDB does it, e.g. 