This section is for obsoleted commands, don't add these redirects.