@feld But, if curl was installed as a dependancy there is a lot of text there, and the message could be missed.