Thanks! I merged and uploaded this now. Alternatively a user can simply redirect stdin to /dev/null to also skip the question.
Thanks! I merged and uploaded this now. Alternatively a user can simply redirect stdin to /dev/null to also skip the question.