Duplicated user command's name

That was implemented in 13.15.2.