It’s also an extra keystroke each time, for a human.