We can rename to just "commands" here, and in the next header.