It could essentially be created fresh and tossed into the ini folder before it was uploaded to mamedev.org but I question if the majority of users would really compare the files and add new or changed options that aren't present in the current mame.ini they use.