Comment 12 for bug 395731

Thanks for the extra info, gents. Having no wish to become a zookeeper ;-) I will use whatever name will become the "standard" if it is decided this is the way to go.
Marius, I wonder how you would maintain that file during merges et al? If branch a is merged into branch b, how is this file maintained? Has there been talk about workspace file handling that occur due to changes to this file?