v0.74-release: November 15, 2022

Table labeling hotkeys