Nice move, but this feature (editing files inside WordPress) should become an optional plugin.