Prevent people from editing the autogenerated files directly. This actually happened before, see !1784 (merged).