I seem to remember when I copied my own customized shortcut.txt file it did not prompt me about overwriting an old one, so maybe they accidentally left it out.