This file isn't really used anymore. You probably shouldn't edit it (and we should probably get rid of it).