I disagree, primarily because it'll make it much too easy for someone to accidentally commit public keys into the repo. If it's a 'config' file, we shouldn't provide it. The run.sh script currently allows for the case of this file not existing, so I'd rather it be ignored if it exists.