We will still have the same file, though, just with a different name, right?
That seems fine. Presumably we will keep the flag if someone has an existing main file and wants to try out discovery without jumping through hoops, such as moving the file aside. So packages that do this would simply not benefit from the new behaviour but would continue to function as they did before without changes.