Auto-generate docs/commands.md

[pietern]

This file has gone stale. It was generated only once. We need a plan on how to deal with this.

Either:

• we remove the file and remove the issue,
• or we figure out how to structure and autogenerate these docs.

[shreyas-goenka]

Fixed in #1392