This reverts rP17403. The button was added when the replay menu was committed with Stone themed buttons. The idea was that nothing should use the Stone buttons again.
IMO we can use Red buttons in the gamesetup and replay menu (should be considered in a separate patch though).
But the Stone buttons are definitely nicer than these Gray buttons which aren't used anywhere and noone asked for these buttons when they were committed.
It's the same story as the yellow buttons (see rP19993), just that they are less ugly and hadn't received any feedback because they were never used.
The Stone buttons are (and most probably will be continued to be) used in the main menu.