Long IT nerd here, I’ve known about those shortcuts for a long time. Its interesting as I left the IT industry about 12 years ago and work in an unrelated field. Half the time I talk to our tech support guys, I know more than them. My fellow colleaugues think I’m like Merlin the magician.