If the user passed stdin=PIPE for some reason, they have no way to close it themselves since it is not exposed.