max authored 5 minutes agoRevert "new option: commands_renamed"

This reverts commit 642e70373a369972d0f026342c1913ac6ad53592.