TIL: ‘rm’ is short for ‘Robert Morris’, not ‘remove’