Why doesn't Eagle provide the functionality to modify file format extensions?