shortcuts are fine. nearly everything humans have invented ever is to make work easier. if he had chatGPT-3 write his whole book for him, i still wouldn't have a problem with it, and frankly i doubt anyone would notice.