Make production type hotkeys configurable.

Fixes #7198.