is this also an autogenerated file that one should not edit?