Don't have any preferences here, I think this file should eventually go away anyway.
I'm happy to rename it to whatever you think...