Learning draw.io part 3: Shortcuts