Add ability to rename a problem #91
Description
A problem name is considered to be its unique id so when i tried to rename the fp4 leaderboard to fake fp4 it just created a new leaderboard which is unfortunate
{{ message }}
A problem name is considered to be its unique id so when i tried to rename the fp4 leaderboard to fake fp4 it just created a new leaderboard which is unfortunate