The source project of this merge request has been removed.
A few touchups for the rc
Fix an array access error, stop allowing the new game menu buttons to grab the focus, remove the number in the devel icon that's hard to read and finally update the outdated documentations images that use the old UI.