Yes, either way would work. This file is autogenerated, though.