FYI, you can use the Keyboard preferences page in System Settings to assign things like “lock screen” (I forget exactly what it’s called) to a key (F15 I think

FYI, you can use the Keyboard preferences page in System Settings to assign things like “lock screen” (I forget exactly what it’s called) to a key (F15 I think I used). I don’t know if Restart or Shutdown are allowable choices.