Maybe include a comment saying how this file is generated so people don't think it's ok to edit it directly?