b7735d402d
[web] Add menu labels to commands, and add more commands to command palette GitOrigin-RevId: 21e17142bb3112b5fdcda85a472122b011979f49