No GP is correct. Control-D sends an EOF (end of file) which indicates there is no more input. This isn’t bike shedding at all as there’s a specific character

No GP is correct. Control-D sends an EOF (end of file) which indicates there is no more input. This isn’t bike shedding at all as there’s a specific character code to indicate you’ve finished with a program and it’s standardized on all sane pieces of software. Heck it even works with things that aren’t specifically programmed to “exit” as they’ll simply end the stream on receipt.